@Article{oliveira_et_al:DARTS.6.2.8, author = {Oliveira, Bruno C. d. S. and Shaobo, Cui and Rehman, Baber}, title = {{The Duality of Subtyping (Artifact)}}, pages = {8:1--8:6}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2020}, volume = {6}, number = {2}, editor = {Oliveira, Bruno C. d. S. and Shaobo, Cui and Rehman, Baber}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.6.2.8}, URN = {urn:nbn:de:0030-drops-132051}, doi = {10.4230/DARTS.6.2.8}, annote = {Keywords: DuoTyping, OOP, Duality, Subtyping, Supertyping} }