Formalising the (Sub-)Structural Aspects of SystemVerilog Posted on 2021-03-08idris soc hardware substructural-type-systems dependent-types border-patrol tdd plas
LightClick---A Linear Typed Orchestration Language for System-On-A-Chip Designs Posted on 2019-11-05idris soc hardware substructural-type-systems dependent-types border-patrol tdd systems
Handling Side-Effects using Resource Dependent Algebraic Effects Posted on 2019-02-05idris soc hardware substructural-type-systems dependent-types border-patrol tdd systems
Revisiting Type-Driven Design of Communicating Systems Posted on 2019-02-05idris soc hardware substructural-type-systems dependent-types border-patrol tdd systems
Type-Driven Development of SoC Architectures. Posted on 2018-12-11idris soc hardware substructural-type-systems dependent-types border-patrol tdd systems
Type-Driven Development of SoC Architectures. Posted on 2018-10-17idris soc hardware substructural-type-systems dependent-types border-patrol tdd spls