The Duality of Subtyping. - Bruno C. d. S. Oliveira; Shaobo Cui 002; Baber Rehman (ECOOP, 2020)

The Duality of Subtyping (Artifact). - Bruno C. d. S. Oliveira; Shaobo Cui 002; Baber Rehman (Dagstuhl Artifacts Ser., 2020)