Idris

Type-Driven Development of SoC Architectures.

Posted on 2018-10-17

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

A Short Note on Collecting Dependently Typed Values

Posted on 2018-08-07

idris dependent-types paper

Type-Systems for Describing System-on-a-Chip Architectures.

Posted on 2018-07-12

idris soc hardware linear-types dependent-types border-patrol tdd pl-interest

TyDe Denied

Posted on 2018-07-02

idris tdvcs border-patrol paper tyde rejection

A Type-System for describing System-on-a-Chip Architectures.

Posted on 2018-04-05

idris soc hardware linear-types dependent-types" border-patrol tdd stacs-fp

A Type-System for describing the Structural Topology of System-on-a-Chip Architectures.

Posted on 2018-02-28

idris soc hardware linear-types dependent-types border-patrol tdd msp101

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

Posted on 2017-10-11

idris session-types border-patrol tdd spls

Type-Driven Development of Communicating Systems using Idris

Posted on 2017-07-25

idris effects sessions tdvcs

ICFP Rejection

Posted on 2017-03-28

idris tdvcs paper icfp rejection

FP Dag 17-Type-Driven Design of Communicating Systems using Idris

Posted on 2017-01-09

idris effects sessions tdvcs