Efficient and Effective Provisioning of Virtual Machines for Artefact Evaluation Posted on 2023-01-05idris artifact reproducible nix
Follow the Trail! Visualising Bi-Directional Type-Checking as Network Communication. Posted on 2022-06-08idris dependent-types asg protocols bidi
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
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