2026-07-22T20:50:17Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:13205 2024-03-06T11:05:09Z ddc:004 open_access

The Duality of Subtyping (Artifact) Oliveira, Bruno C. d. S. Shaobo, Cui Rehman, Baber DuoTyping OOP Duality Subtyping Supertyping This artifact contains the Coq formalization associated with the paper The Duality of Subtyping submitted in ECOOP 2020. This document explains how to run the Coq formalization. Artifact can either be compiled in the pre-built docker image with all the dependencies installed or it could be built from the scratch. Sections 1-7 explain the basic information about the artifact. Section A explains how to get the docker image for the artifact. Section B explains the prerequisites and the steps to run coq files from scratch. Section C explains coq files briefly. Section D shows the correspondence between important lemmas discussed in paper and their respective Coq formalization. The term MonoTyping used in artifact corresponds to the standard subtyping systems. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Bruno C. d. S. Oliveira and Cui Shaobo and Baber Rehman 2020 Is Part Of DARTS, Volume 6, Issue 2, Special Issue of the 34th European Conference on Object-Oriented Programming (ECOOP 2020) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DARTS.6.2.8 urn:nbn:de:0030-drops-132051 https://drops.dagstuhl.de/entities/document/10.4230/DARTS.6.2.8 eng https://creativecommons.org/licenses/by/3.0/legalcode