2 papers
cs.PL2013
GADTs meet subtyping
Gabriel Scherer, Didier Rémy
While generalized algebraic datatypes (\GADTs) are now considered well-understood, adding them to a language with a notion of subtyping comes with a few surprises. What does it mea…
cs.PL2012
GADT meet Subtyping
Gabriel Scherer, Didier Rémy
While generalized abstract datatypes (GADT) are now considered well-understood, adding them to a language with a notion of subtyping comes with a few surprises. What does it mean f…