| Posts | Date Created | Categories |
|---|---|---|
| LightClick---A Linear Typed Orchestration Language for System-On-A-Chip Designs | November 5, 2019 | idris,soc,hardware,substructural-type-systems,dependent-types,border-patrol,tdd,systems |
| Revisiting Type-Driven Design of Communicating Systems | February 5, 2019 | idris,hardware,substructural-type-systems,session-types,dependent-types,glasgow,plug,tdd |
| Type-Driven Development of SoC Architectures. | December 11, 2018 | idris,soc,hardware,substructural-type-systems,dependent-types,glasgow,tdd,systems |
| Type-Driven Development of SoC Architectures. | October 17, 2018 | idris,soc,hardware,substructural-type-systems,dependent-types,glasgow,tdd,spls |