A Nominal Theory of Objects with Dependent Types
Abstract elided by the publisher.
Related papers
- Decidable subtyping for path dependent types POPL 2020
- Brand Objects for Nominal Typing ECOOP 2015
- Transitioning from structural to nominal code with efficient gradual typing OOPSLA 2021
- Study of the subtyping machine of nominal subtyping with variance OOPSLA 2021
- Towards nominal computation POPL 2012
- A Dependent Nominal Physical Type System for Static Analysis of Memory in Low Level Code OOPSLA 2024
- A nominal exploration of intuitionism CPP 2016
- Type-Outference with Label-Listeners: Foundations for Decidable Type-Consistency for Nominal Object-Oriented Generics OOPSLA 2025