Encoding types in ML-like languages
- 29 September 1998
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 34 (1) , 289-300
- https://doi.org/10.1145/289423.289458
Abstract
No abstract availableThis publication has 17 references indexed in Scilit:
- A theory of type polymorphism in programmingPublished by Elsevier ,2003
- Multi-stage programming with explicit annotationsPublished by Association for Computing Machinery (ACM) ,1997
- First-class polymorphism with type inferencePublished by Association for Computing Machinery (ACM) ,1997
- Type classes in HaskellACM Transactions on Programming Languages and Systems, 1996
- Dynamic typing in polymorphic languagesJournal of Functional Programming, 1995
- Dynamic typing: syntax and proof theoryScience of Computer Programming, 1994
- A system of constructor classesPublished by Association for Computing Machinery (ACM) ,1993
- Revised 4 report on the algorithmic language schemeACM SIGPLAN Lisp Pointers, 1991
- Dynamic typing in a statically typed languageACM Transactions on Programming Languages and Systems, 1991
- Coercion and type inferencePublished by Association for Computing Machinery (ACM) ,1984