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