Semantic Casts: Contracts and Structural Subtyping in a Nominal World
No abstract available.
DOI 10.1007/978-3-540-24851-4_17
Related papers
- Mutually Iso-Recursive Subtyping OOPSLA 2023
- Integrating Nominal and Structural Subtyping ECOOP 2008
- Manifest Contracts for Datatypes POPL 2015
- Stateful manifest contracts POPL 2017
- CCured in the real world PLDI 2003
- Brand Objects for Nominal Typing ECOOP 2015
- Polarized Subtyping ESOP 2022
- Study of the subtyping machine of nominal subtyping with variance OOPSLA 2021