DMCA

Towards a practical programming language based on dependent type theory (2007)

by Ulf Norell
Citations:259 - 4 self