Posts Date Created Categories
Off The Beaten Track November 11, 2016 idris,tdvcs,paper
Dependent Types and Goal-Oriented DSMLs July 28, 2015 idris,phd,paper