DMCA
Towards a practical programming language based on dependent type theory (2007)
by
Ulf Norell
Citations: | 261 - 4 self |