Sound and Complete Subtyping between Coinductive Types for Object-Oriented Languages
No abstract available.
DOI 10.1007/978-3-662-44202-9_12
Related papers
- Semantic subtyping for imperative object-oriented languages OOPSLA 2016
- Sound Polymorphic Type Inference for Objects OOPSLA 1995
- Soundness of Object-Oriented Languages with Coinductive Big-Step Semantics ECOOP 2012
- The Simple Essence of Boolean-Algebraic Subtyping: Semantic Soundness for Algebraic Union, Intersection, Negation, and Equi-recursive Types POPL 2026
- A simple typed intermediate language for object-oriented languages POPL 2005
- Reasoning about Object-Oriented Programs that Use Subtypes OOPSLA 1990
- Coinductive Type Systems for Object-Oriented Languages ECOOP 2009
- ThisType for Object-Oriented Languages: From Theory to Practice TOPLAS 2016