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

by Ulf Norell
Citations:169 - 3 self