spls

Type-Driven Development of SoC Architectures.

Posted on 2018-10-17

idris soc hardware substructural-type-systems dependent-types border-patrol tdd spls

Designing Hardware using Session Types and Dependent Types---A First Look

Posted on 2017-10-11

idris session-types border-patrol tdd spls

SPLS-Type-Driven Design of Communicating Systems using Idris

Posted on 2016-11-09

idris effects sessions tdvcs spls