| Posts | Date Created | Categories |
|---|---|---|
| A Framework for Resource Dependent EDSLs in a Dependently Typed Language | November 16, 2020 | idris,dependent-types,border-patrol,paper,ecoop |
| A Framework for Resource Dependent EDSLs in a Dependently Typed Language | May 28, 2020 | idris,dependent-types,border-patrol,paper,ecoop |
| A Typing Discipline for Hardware Interfaces. | April 1, 2019 | idris,dependent-types,glasgow,paper,ecoop |
| Value-Dependent Session Design in a Dependently-Typed Language. | March 7, 2019 | idris,dependent-types,session-types,paper,places,tdvcs,glasgow |