Wiring Circuits is as easy as 0-1-Omega, or is it... Posted on 2022-05-31idris dependent-types border-patrol tdvcs hdl systemverilog
Types as Interpreters for HDLs to Graphs. Posted on 2022-05-25idris dependent-types border-patrol tdvcs hdl systemverilog
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
Value-Dependent Session Design in a Dependently-Typed Language. Posted on 2019-03-07idris dependent-types session-types paper places tdvcs border-patrol
Type-Driven Development of Communicating Systems using Idris Posted on 2017-07-25idris effects sessions tdvcs
FP Dag 17-Type-Driven Design of Communicating Systems using Idris Posted on 2017-01-09idris effects sessions tdvcs