First-Class Polymorphism for ML
No abstract available.
Related papers
- Subtyping First-Class Polymorphic Components ESOP 2005
- Another Type Inference Algorithm for First-Class Implicit Polymorphism ICFP 2026
- First-class Polymorphism with Type Inference POPL 1997
- HMF: simple type inference for first-class polymorphism ICFP 2008
- FPH: first-class polymorphism for Haskell ICFP 2008
- Type Reconstruction with First-Class Polymorphic Values PLDI 1989
- Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform ICFP 2009
- Flexible types: robust type inference for first-class polymorphism POPL 2009