Epigram: Practical Programming with Dependent Types (2005)

by Conor McBride
Venue:In Advanced Functional Programming