Posts tagged "ecoop"

Posts Date Created Categories
A Framework for Resource Dependent EDSLs in a Dependently Typed Language November 16, 2020 idris,dependent-types,border-patrol,tdvcs,ecoop
A Framework for Resource Dependent EDSLs in a Dependently Typed Language May 28, 2020 idris,dependent-types,border-patrol,tdvcs,ecoop
A Typing Discipline for Hardware Interfaces. July 10, 2019 idris,dependent-types,border-patrol,ecoop
A Typing Discipline for Hardware Interfaces. April 1, 2019 idris,dependent-types,border-patrol,paper,ecoop