A Framework for Resource Dependent EDSLs in a Dependently Typed Language Posted on 2020-11-16idris dependent-types border-patrol tdvcs ecoop
Building Resource-Dependent EDSLs in a Dependently-Typed Language Posted on 2020-06-19idris dependent-types border-patrol tdvcs msp101 talk
A Framework for Resource Dependent EDSLs in a Dependently Typed Language Posted on 2020-05-28idris dependent-types border-patrol tdvcs ecoop
Well-Typed Expressions lead to Well-Typed Well-Scoped Programs Posted on 2019-12-06idris dependent-types tdd musing