A Framework for Type Inference with Subtyping
Abstract
This paper appeared at the International Conference on Functional Programming, Baltimore, September 1998.
DOI 10.1145/289423.289448
Related papers
- Type Inference With Simple Subtypes JFP 1991
- Type Inference with Subtypes ESOP 1988
- Type Inference with Structural Subtyping: A Faithful Formalization of an Efficient Constraint Solver APLAS 2003
- Extending Hindley-Milner Type Inference with Coercive Structural Subtyping APLAS 2011
- Polymorphism, subtyping, and type inference in MLsub POPL 2017
- Type Inference with Subtypes POPL 1988
- Algorithmic Aspects of Type Inference with Subtypes POPL 1992
- Lower Bounds on Type Inference with Subtypes POPL 1995