A Typing Discipline for Hardware Interfaces. Posted on 2019-04-01idris dependent-types border-patrol paper ecoop
Value-Dependent Session Design in a Dependently-Typed Language. Posted on 2019-03-07idris dependent-types session-types paper places tdvcs border-patrol
Computing Types with Idris & Linking Specifications with Implementations. Posted on 2019-02-12idris dependent-types
Representing Interfaces when you have no Interfaces. Posted on 2019-02-09idris dependent-types interfaces
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