Gabriel Scherer

Identifiers

No identifiers captured yet.

Papers (8)

1. How to benchmark: the Measure-Explain-Test-Improve loop cs.PL · 2026 · author #1
2. Omnidirectional type inference for ML: principality any way cs.PL · 2025 · author #3
3. Proceedings ML Family / OCaml Users and Developers workshops cs.PL · 2019 · author #2
4. Unboxing Mutually Recursive Type Definitions in OCaml cs.PL · 2018 · author #3
5. Merlin: A Language Server for OCaml (Experience Report) cs.PL · 2018 · author #3
6. Capturing the Future by Replaying the Past cs.PL · 2017 · author #2
7. FabULous Interoperability for ML and a Linear Language cs.PL · 2017 · author #1
8. Deciding equivalence with sums and the empty type cs.PL · 2016 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Alistair O'Brien 1 shared papers
• Amal Ahmed 1 shared papers
• Armando Solar-Lezama 1 shared papers
• Didier R\'emy 1 shared papers
• Fr\'ed\'eric Bour 1 shared papers
• James Koppel 1 shared papers
• Max New 1 shared papers
• Nick Rioux 1 shared papers
• Rodolphe Lepigre 1 shared papers
• Sam Lindley 1 shared papers
• Simon Colin 1 shared papers
• Thomas Refis 1 shared papers