1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.PL2025★ 1 cited
Omnidirectional type inference for ML: principality any way
Alistair O'Brien, Didier Rémy, Gabriel Scherer
The Damas-Hindley-Milner (ML) type system owes its success to principality, the property that every well-typed expression has a unique most general type. This makes inference predi…
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…