Session-Types

Value-Dependent Session Design in a Dependently-Typed Language.

Posted on 2019-03-07

idris dependent-types session-types paper places tdvcs border-patrol

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

Posted on 2017-10-11

idris session-types border-patrol tdd spls