Stratified type inference for generalized algebraic data types
Abstract
Stratified type inference for generalized algebraic data types.
Related papers
- From ML type inference to stratified type inference ICFP 2005
- Stratified Type Theory ESOP 2025
- Simple unification-based type inference for GADTs ICFP 2006
- Algebraic Temporal Effects: Temporal Verification of Recursively Typed Higher-Order Programs POPL 2025
- A constraint-based approach to guarded algebraic data types TOPLAS 2007
- Generic Programming with Extensible Data Types: Or, Making Ad Hoc Extensible Data Types Less Ad Hoc ICFP 2023
- Symbolic abstract data type inference POPL 2016
- Polymorphic Type Inference and Abstract Data Types TOPLAS 1994