Principal Type Schemes for Modular Programs
No abstract available.
Related papers
- Principal Type-Schemes for Functional Programs POPL 1982
- Principal Type Schemes for Gradual Programs POPL 2015
- A Modular, Polyvariant, and Type-Based Closure Analysis ICFP 1997
- Principal Signatures for Higher-Order Program Modules JFP 1994
- Modular Inference of Linear Types for Multiplicity-Annotated Arrows ESOP 2020
- OutsideIn(X) Modular type inference with local assumptions JFP 2011
- Complete and decidable type inference for GADTs ICFP 2009
- CACL: Efficient Fine-Grained Protection for Objects OOPSLA 1992