Dependently typed programming in Agda (2008)

by Ulf Norell
Venue:In Lecture notes on Advanced Functional Programming