Stratified type inference for generalized algebraic data types
- 11 January 2006
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 41 (1) , 232-244
- https://doi.org/10.1145/1111037.1111058
Abstract
No abstract availableThis publication has 11 references indexed in Scilit:
- Towards Efficient, Typed LR ParsersElectronic Notes in Theoretical Computer Science, 2006
- Simple, partial type-inference for System F based on type-containmentPublished by Association for Computing Machinery (ACM) ,2005
- Languages of the futurePublished by Association for Computing Machinery (ACM) ,2004
- Polymorphic typed defunctionalizationPublished by Association for Computing Machinery (ACM) ,2004
- Guarded recursive datatype constructorsPublished by Association for Computing Machinery (ACM) ,2003
- A lightweight implementation of generics and dynamicsPublished by Association for Computing Machinery (ACM) ,2002
- Intensional polymorphism in type-erasure semanticsJournal of Functional Programming, 2002
- Colored local type inferencePublished by Association for Computing Machinery (ACM) ,2001
- Local type inferenceACM Transactions on Programming Languages and Systems, 2000
- Type inference with polymorphic recursionACM Transactions on Programming Languages and Systems, 1993