Types and Semantics for Extensible Data Types
No abstract available.
DOI 10.1007/978-981-99-8311-7_3
Related papers
- Generic Programming with Extensible Data Types: Or, Making Ad Hoc Extensible Data Types Less Ad Hoc ICFP 2023
- Type Classes with Existential Types JFP 1996
- A Bowtie for a Beast: Overloading, Eta Expansion, and Extensible Data Types in F⋈ POPL 2023
- Polymorphic Type Inference and Abstract Data Types TOPLAS 1994
- Machine-checked semantic session typing CPP 2021
- Abstracting extensible data types: or, rows by any other name POPL 2019
- Extensible Data Types with Ad-Hoc Polymorphism POPL 2026
- SteelCore: an extensible concurrent separation logic for effectful dependently typed programs ICFP 2020