Integrating Nominal and Structural Subtyping
Abstract elided by the publisher.
Related papers
- Brand Objects for Nominal Typing ECOOP 2015
- Semantic Casts: Contracts and Structural Subtyping in a Nominal World ECOOP 2004
- Study of the subtyping machine of nominal subtyping with variance OOPSLA 2021
- On Satisfiability of Nominal Subtyping with Variance ECOOP 2019
- Mutually Iso-Recursive Subtyping OOPSLA 2023
- Polarized Subtyping ESOP 2022
- Featherweight go OOPSLA 2020
- MLstruct: principal type inference in a Boolean algebra of structural types OOPSLA 2022