Domain-free pure type systems
- 1 September 2000
- journal article
- Published by Cambridge University Press (CUP) in Journal of Functional Programming
- Vol. 10 (5) , 417-452
- https://doi.org/10.1017/s0956796800003750
Abstract
No abstract availableKeywords
This publication has 0 references indexed in Scilit: