Is Structural Subtyping Useful? An Empirical Study
No abstract available.
Related papers
- Type unsoundness in practice: an empirical study of Dart DLS 2016
- Parametric Subtyping for Structural Parametric Polymorphism POPL 2024
- QuickSub: Efficient Iso-Recursive Subtyping POPL 2025
- Structural Subtyping as Parametric Polymorphism OOPSLA 2023
- Recursive subtyping for all JFP 2025
- Empirical assessment of object-oriented implementations with multiple inheritance and static typing OOPSLA 2009
- Recursive Subtyping for All POPL 2023
- Julia subtyping: a rational reconstruction OOPSLA 2018