Tdvcs

Off The Beaten Track

Posted on 2016-11-11

idris tdvcs paper obt rejection

SPLS-Type-Driven Design of Communicating Systems using Idris

Posted on 2016-11-09

idris effects sessions tdvcs spls

Effectful Channel Management

Posted on 2015-08-28

idris effects sessions tdvcs