Dependently typed programming in Agda (2008)

by Ulf Norell
Venue:In Lecture Notes from the Summer School in Advanced Functional Programming