DMCA

Dependently typed programming in Agda (2008)

by Ulf Norell
Venue:In Lecture notes on Advanced Functional Programming
Citations:61 - 1 self