Epigram: Practical programming with dependent types (2005)

by URL
Venue:Lecture notes of the Advanced Functional Programming Summerschool in