Shrinkable Polymorphic Variants
No abstract available.
Related papers
- Set-theoretic types for polymorphic variants ICFP 2016
- Polymorphic variants in Haskell Haskell 2006
- Persimmon: Nested Family Polymorphism with Extensible Variant Types OOPSLA 2024
- Bidirectional Higher-Rank Polymorphism with Intersection and Union Types POPL 2025
- Abstracting extensible data types: or, rows by any other name POPL 2019
- Typechecking Records and Variants in a Natural Extension of ML POPL 1989
- Structural Subtyping as Parametric Polymorphism OOPSLA 2023
- Inference of Polymorphic and Conditional Strictness Properties POPL 1998