Plausible sealing for gradual parametricity

Elizabeth Labrada, Matías Toro, Éric Tanter, Dominique Devriese. Plausible sealing for gradual parametricity. Proceedings of the ACM on Programming Languages, 6(OOPSLA):1-28, 2022. [doi]

Abstract

Abstract is missing.