Subtyping

2024

[TaPL] 19 Featherweight Java

[TaPL] 18 Imperative Objects

[TaPL] 17 Subtyping in ML

2023

[TaPL] 16 Metatheory of Subtyping

[TaPL] 15 Subtyping