HMF
- 20 September 2008
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 43 (9), 283-294
- https://doi.org/10.1145/1411203.1411245
Abstract
No abstract availableThis publication has 16 references indexed in Scilit:
- A type directed translation of MLF to system FPublished by Association for Computing Machinery (ACM) ,2007
- Practical type inference for arbitrary-rank typesJournal of Functional Programming, 2007
- Qualified types for MLFPublished by Association for Computing Machinery (ACM) ,2005
- ML FPublished by Association for Computing Machinery (ACM) ,2003
- Semi-Explicit First-Class Polymorphism for MLInformation and Computation, 1999
- Local type inferencePublished by Association for Computing Machinery (ACM) ,1998
- First-class polymorphism with type inferencePublished by Association for Computing Machinery (ACM) ,1997
- Putting type annotations to workPublished by Association for Computing Machinery (ACM) ,1996
- Principal type-schemes for functional programsPublished by Association for Computing Machinery (ACM) ,1982
- A theory of type polymorphism in programmingJournal of Computer and System Sciences, 1978