Value-Dependent Session Design in a Dependently-Typed Language. Posted on 2019-03-07idris dependent-types session-types paper places tdvcs border-patrol
Designing Hardware using Session Types and Dependent Types---A First Look Posted on 2017-10-11idris session-types border-patrol tdd spls