Extending Hindley-Milner Type Inference with Coercive Structural Subtyping
No abstract available.
Related papers
- Pragmatic Subtyping in Polymorphic Languages ICFP 1998
- Hindley-milner elaboration in applicative style: functional pearl ICFP 2014
- Parallel type-checking with haskell using saturating LVars and stream generators PPoPP 2016
- The simple essence of algebraic subtyping: principal type inference with subtyping made easy (functional pearl) ICFP 2020
- Coercive subtyping for the calculus of constructions POPL 2003
- Polymorphic Type Inference for Dynamic Languages POPL 2024
- Coercive Subtyping for Implicit Functorial Programming Haskell 2026
- Boxy types: inference for higher-rank types and impredicativity ICFP 2006