Types as Interpreters for HDLs to Graphs. Posted on 2022-05-25idris dependent-types border-patrol tdvcs hdl systemverilog
Thoughts on API Design for Dependently-Typed Languages Posted on 2021-11-29idris type-systems dependent-types typing
Formalising the (Sub-)Structural Aspects of SystemVerilog Posted on 2021-03-08idris soc hardware substructural-type-systems dependent-types border-patrol tdd plas
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