1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.PL2026★ 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…
math.CT2026
The free bifibration on a functor
Bryce Clarke, Gabriel Scherer, Noam Zeilberger
We consider the problem of constructing the free bifibration generated by a functor of categories . This problem was previously considered by Lamarche, and is closely…