Epigram: Practical programming with dependent types (2005)

by C McBride
Venue:Advanced Functional Programming