| Posts | Date Created | Categories |
|---|---|---|
| Type-Driven Development of SoC Architectures. | October 17, 2018 | idris,soc,hardware,substructural-type-systems,dependent-types,glasgow,tdd,spls |
| Designing Hardware using Session Types and Dependent Types---A First Look | October 11, 2017 | glasgow,idris,session-types,border-patrol,tdd,spls,talks |