Epigram: practical programming with dependent types, in (2005)

by C McBride
Venue:Advanced Functional Programming, 5th International School, AFP 2004, Revised Lectures, in: LNCS