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

by Ulf Norell
Citations:170 - 3 self