Posts Date Created Categories
FP Dag 17-Type-Driven Design of Communicating Systems using Idris January 9, 2017 idris,effects,sessions,tdvcs
Off The Beaten Track November 11, 2016 idris,tdvcs,paper
SPLS-Type-Driven Design of Communicating Systems using Idris November 9, 2016 idris,effects,sessions,tdvcs
Effectful Channel Management October 5, 2016 idris,effects,sessions,tdvcs