A Framework for Resource Dependent EDSLs in a Dependently Typed Language Posted on 2020-11-16idris dependent-types border-patrol tdvcs ecoop
A Framework for Resource Dependent EDSLs in a Dependently Typed Language Posted on 2020-05-28idris dependent-types border-patrol tdvcs ecoop
A Typing Discipline for Hardware Interfaces. Posted on 2019-07-10idris dependent-types border-patrol ecoop
A Typing Discipline for Hardware Interfaces. Posted on 2019-04-01idris dependent-types border-patrol paper ecoop