DMCA

Dependently typed programming in Agda (2008)

by Ulf Norell
Venue:In Lecture Notes from the Summer School in Advanced Functional Programming
Citations:58 - 1 self