1 citations · 1 across the 3 of their papers we have counts for
1 paper · 1 filter
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…