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

by Ulf Norell
Citations:168 - 3 self