1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.PL2025
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.CT2025
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…