Principal Type Inference for GHC-Style Multi-parameter Type Classes
No abstract available.
DOI 10.1007/11924661_2
Related papers
- MLstruct: principal type inference in a Boolean algebra of structural types OOPSLA 2022
- Flexible types: robust type inference for first-class polymorphism POPL 2009
- Type-checking multi-parameter type classes JFP 2002
- OutsideIn(X) Modular type inference with local assumptions JFP 2011
- Type Checking Type Classes POPL 1993
- Type Reconstruction for Type Classes JFP 1995
- MLF: raising ML to the power of system F ICFP 2003
- Static Type Inference for Parametric Classes OOPSLA 1989