Simple, partial type-inference for System F based on type-containment
- 12 September 2005
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 40 (9) , 130-143
- https://doi.org/10.1145/1086365.1086383
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Practical type inference for arbitrary-rank typesJournal of Functional Programming, 2007
- The Subtyping Problem for Second-Order Types Is UndecidableInformation and Computation, 2002
- Colored local type inferenceACM SIGPLAN Notices, 2001
- Local type inferenceACM Transactions on Programming Languages and Systems, 2000
- Comparing Object EncodingsInformation and Computation, 1999
- Extending ML with semi-explicit higher-order polymorphismPublished by Springer Nature ,1997
- Simple imperative polymorphismHigher-Order and Symbolic Computation, 1995
- Polymorphic type inference and abstract data typesACM Transactions on Programming Languages and Systems, 1994
- Finitely stratified polymorphismInformation and Computation, 1991
- Polymorphic type inference and containmentInformation and Computation, 1988