Type Inference with Subtypes
Abstract elided by the publisher.
Related papers
- 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
- A Framework for Type Inference with Subtyping ICFP 1998
- Polymorphism, subtyping, and type inference in MLsub POPL 2017
- Type Inference With Simple Subtypes JFP 1991
- Type Inference with Subtypes POPL 1988
- Algorithmic Aspects of Type Inference with Subtypes POPL 1992
- Lower Bounds on Type Inference with Subtypes POPL 1995