DMCA
Towards a practical programming language based on dependent type theory (2007)
by
Ulf Norell
| Citations: | 261 - 4 self |
BibTeX
@MISC{Norell07towardsa,
author = {Ulf Norell},
title = {Towards a practical programming language based on dependent type theory},
year = {2007}
}
Share
 |
 |
 |
 |
||
