Skip to Main content Skip to Navigation
Conference papers

GADTs Meet Subtyping

Abstract : While generalized abstract datatypes are now considered well-understood, adding them to a language with a notion of subtyping comes with a few surprises. What does it mean for a GADT parameter to be covariant? The answer turns out to be quite subtle and involves new semantic properties of types that raise interesting design questions. We allow variance annotations in GADT definitions, present a sound and effective algorithm to check such declarations, and describe its application in a real-world language.
Document type :
Conference papers
Complete list of metadata

Cited literature [3 references]  Display  Hide  Download
Contributor : Didier Rémy Connect in order to contact the contributor
Submitted on : Thursday, December 11, 2014 - 11:02:31 AM
Last modification on : Friday, January 21, 2022 - 3:15:40 AM
Long-term archiving on: : Thursday, March 12, 2015 - 10:23:22 AM


Files produced by the author(s)


  • HAL Id : hal-01093816, version 1



Gabriel Scherer, Didier Rémy. GADTs Meet Subtyping. ACM SIGPLAN Workshop on ML, Sep 2012, Copenhagen, Denmark. ⟨hal-01093816⟩



Les métriques sont temporairement indisponibles