Formalising the (Sub-)Structural Aspects of SystemVerilog Posted on 2021-03-08idris soc hardware substructural-type-systems dependent-types border-patrol tdd plas
Well-Typed Expressions lead to Well-Typed Well-Scoped Programs Posted on 2019-12-06idris dependent-types tdd musing