| Posts | Date Created | Categories |
|---|---|---|
| Value-Dependent Session Design in a Dependently-Typed Language. | March 7, 2019 | idris,dependent-types,session-types,paper,places,tdvcs,glasgow |
| Revisiting Type-Driven Design of Communicating Systems | February 5, 2019 | idris,hardware,substructural-type-systems,session-types,dependent-types,glasgow,plug,tdd |
| Designing Hardware using Session Types and Dependent Types---A First Look | October 11, 2017 | glasgow,idris,session-types,border-patrol,tdd,spls,talks |