Coinductive Type Systems for Object-Oriented Languages
No abstract available.
Related papers
- Sound and Complete Subtyping between Coinductive Types for Object-Oriented Languages ECOOP 2014
- Soundness of Object-Oriented Languages with Coinductive Big-Step Semantics ECOOP 2012
- Semantic subtyping for imperative object-oriented languages OOPSLA 2016
- Interactive programming in Agda - Objects and graphical user interfaces JFP 2017
- Inductive, Coinductive, and Pointed Types ICFP 1996
- ACTS: A Type System for Object-Oriented Programming Based on Abstract and Concrete Classes ECOOP 1992
- Temporal Refinements for Guarded Recursive Types ESOP 2021
- Interfaces for Strongly-Typed Object-Oriented Programming OOPSLA 1989