Boxy types
- 16 September 2006
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 41 (9) , 251-262
- https://doi.org/10.1145/1159803.1159838
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Simple unification-based type inference for GADTsPublished by Association for Computing Machinery (ACM) ,2006
- Qualified types for MLFPublished by Association for Computing Machinery (ACM) ,2005
- Sexy types in actionACM SIGPLAN Notices, 2004
- ML FPublished by Association for Computing Machinery (ACM) ,2003
- Scrap your boilerplatePublished by Association for Computing Machinery (ACM) ,2003
- Semi-Explicit First-Class Polymorphism for MLInformation and Computation, 1999
- Proofs about a folklore let-polymorphic type inference algorithmACM Transactions on Programming Languages and Systems, 1998
- First-class polymorphism with type inferencePublished by Association for Computing Machinery (ACM) ,1997
- TILPublished by Association for Computing Machinery (ACM) ,1996
- A direct algorithm for type inference in the rank-2 fragment of the second-order λ-calculusPublished by Association for Computing Machinery (ACM) ,1994