The Duality of Subtyping

Bruno C. D. S. Oliveira, Shaobo Cui, Baber Rehman. The Duality of Subtyping. In Robert Hirschfeld, Tobias Pape, editors, 34th European Conference on Object-Oriented Programming, ECOOP 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference). Volume 166 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. [doi]

@inproceedings{OliveiraCR19,
  title = {The Duality of Subtyping},
  author = {Bruno C. D. S. Oliveira and Shaobo Cui and Baber Rehman},
  year = {2019},
  doi = {10.4230/LIPIcs.ECOOP.2020.29},
  url = {https://doi.org/10.4230/LIPIcs.ECOOP.2020.29},
  researchr = {https://researchr.org/publication/OliveiraCR19},
  cites = {0},
  citedby = {0},
  booktitle = {34th European Conference on Object-Oriented Programming, ECOOP 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference)},
  editor = {Robert Hirschfeld and Tobias Pape},
  volume = {166},
  series = {LIPIcs},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
  isbn = {978-3-95977-154-2},
}