Simple Type Inference for Structural Polymorphism
No abstract available.
Related papers
- BinSub: The Simple Essence of Polymorphic Type Inference for Machine Code SAS 2024
- The Cartesian Product Algorithm: Simple and Precise Type Inference Of Parametric Polymorphism ECOOP 1995
- HMF: simple type inference for first-class polymorphism ICFP 2008
- PolyAML: a polymorphic aspect-oriented functional programming language ICFP 2005
- Another Type Inference Algorithm for First-Class Implicit Polymorphism ICFP 2026
- Declaration-Free Type Checking POPL 1985
- Flexible types: robust type inference for first-class polymorphism POPL 2009
- Type inference, principal typings, and let-polymorphism for first-class mixin modules ICFP 2005