A New Definition of the Subtype Relation
No abstract available.
Related papers
- Consistent Subtyping for All ESOP 2018
- Julia subtyping: a rational reconstruction OOPSLA 2018
- Consistent Subtyping for All TOPLAS 2020
- Subtyping Recursive Types TOPLAS 1993
- Definitional Functoriality for Dependent (Sub)Types ESOP 2024
- GADTs Meet Subtyping ESOP 2013
- A type-directed, dictionary-passing translation of method overloading and structural subtyping in Featherweight Generic Go JFP 2023
- Regular expression types for XML ICFP 2000