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
Type-Systems for Describing System-on-a-Chip Architectures. Posted on 2018-07-12idris soc hardware linear-types dependent-types border-patrol tdd pl-interest
A Type-System for describing System-on-a-Chip Architectures. Posted on 2018-04-05idris soc hardware linear-types dependent-types" border-patrol tdd stacs-fp
A Type-System for describing the Structural Topology of System-on-a-Chip Architectures. Posted on 2018-02-28idris soc hardware linear-types dependent-types border-patrol tdd msp101
Designing Hardware using Session Types and Dependent Types---A First Look Posted on 2017-10-11idris session-types border-patrol tdd spls