Declarative Object Identity Using Relation Types
Abstract elided by the publisher.
Related papers
- An Equational Object-Oriented Data Model and its Data-Parallel Query Language OOPSLA 1996
- Declaring and checking non-null types in an object-oriented language OOPSLA 2003
- Correspondence Polymorphism for Object-Oriented Languages OOPSLA 1999
- Confined Types OOPSLA 1999
- A Coherence Theorem for Martin-Löf's Type Theory JFP 1998
- Checks and balances: constraint solving without surprises in object-constraint programming languages OOPSLA 2015
- A Relational Model for Object-Oriented Designs APLAS 2004
- QL: Object-oriented Queries on Relational Data ECOOP 2016