Simple unification-based type inference for GADTs
Top Cited Papers
- 16 September 2006
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 41 (9) , 50-61
- https://doi.org/10.1145/1159803.1159811
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Boxy typesPublished by Association for Computing Machinery (ACM) ,2006
- Stratified type inference for generalized algebraic data typesPublished by Association for Computing Machinery (ACM) ,2006
- Putting curry-howard to workPublished by Association for Computing Machinery (ACM) ,2005
- The pattern calculusACM Transactions on Programming Languages and Systems, 2004
- Languages of the futurePublished by Association for Computing Machinery (ACM) ,2004
- The view from the leftJournal of Functional Programming, 2004
- Applied Type SystemPublished by Springer Nature ,2004
- Typing dynamic typingPublished by Association for Computing Machinery (ACM) ,2002
- Cayenne—a language with dependent typesPublished by Association for Computing Machinery (ACM) ,1998
- Indexed typesTheoretical Computer Science, 1997