A Calculus with Recursive Types, Record Concatenation and Subtyping
Abstract elided by the publisher.
Related papers
- Taming the Merge Operator JFP 2021
- Type inference, principal typings, and let-polymorphism for first-class mixin modules ICFP 2005
- A Record Calculus Based on Symmetric Concatenation POPL 1991
- Toward a Typed Foundation for Method Specialization and Inheritance POPL 1990
- QuickSub: Efficient Iso-Recursive Subtyping POPL 2025
- Simple Type-Theoretic Foundations for Object-Oriented Programming JFP 1994
- Typing Records, Maps, and Structs ICFP 2023
- Typing Record Concatenation for Free POPL 1992