Recursive Object Types in a Logic of Object-Oriented Programs
Abstract elided by the publisher.
Related papers
- Object-Oriented Programming without Recursive Types POPL 1993
- QL: Object-oriented Queries on Relational Data ECOOP 2016
- super-Charging Object-Oriented Programming Through Precise Typing of Open Recursion ECOOP 2023
- Simple Type-Theoretic Foundations for Object-Oriented Programming JFP 1994
- The recursive record semantics of objects revisited JFP 2004
- Sound Polymorphic Type Inference for Objects OOPSLA 1995
- Towards Strong Normalization for Dependent Object Types (DOT) ECOOP 2017
- An Interpretation of Objects and Object Types POPL 1996