Building Resource-Dependent EDSLs in a Dependently-Typed Language Posted on 2020-06-19idris dependent-types border-patrol tdvcs msp101 talk
A Type-System for describing the Structural Topology of System-on-a-Chip Architectures. Posted on 2018-02-28idris soc hardware linear-types dependent-types border-patrol tdd msp101