The Recursive Record Semantics of Objects Revisited
No abstract available.
Related papers
- The recursive record semantics of objects revisited JFP 2004
- Revisiting Iso-Recursive Subtyping TOPLAS 2022
- Semantic subtyping for imperative object-oriented languages OOPSLA 2016
- Toward a Typed Foundation for Method Specialization and Inheritance POPL 1990
- On understanding data abstraction, revisited OOPSLA 2009
- Environmental acquisition revisited POPL 2005
- An interoperable calculus for external object access ICFP 2002
- The Simple Essence of Boolean-Algebraic Subtyping: Semantic Soundness for Algebraic Union, Intersection, Negation, and Equi-recursive Types POPL 2026