Gabriel Scherer

ORCID

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 27

Top Venues

CoRR

Proc. ACM Program. Lang.

Art Sci. Eng. Program.

FoSSaCS

Paris Diderot University, France (PHD)

Education History

Paris Diderot University, France

PHD

Publications

Nicolas Chataing, Stephen Dolan, Gabriel Scherer, Jeremy Yallop
Unboxed Data Constructors: Or, How cpp Decides a Halting Problem. Proc. ACM Program. Lang. 8 (POPL) (2024)
Nicolas Chataing, Stephen Dolan, Gabriel Scherer, Jeremy Yallop
Unboxed data constructors - or, how cpp decides a halting problem. CoRR (2023)
Wendlasida Ouedraogo, Gabriel Scherer, Lutz Straßburger
Coqlex: Generating Formally Verified Lexers. Art Sci. Eng. Program. 8 (1) (2023)
Wendlasida Ouedraogo, Gabriel Scherer, Lutz Straßburger
Coqlex: Generating Formally Verified Lexers. CoRR (2023)
Nathanaëlle Courant, Julien Lepiller, Gabriel Scherer
Debootstrapping without Archeology: Stacked Implementations in Camlboot. CoRR (2022)
Nathanaëlle Courant, Julien Lepiller, Gabriel Scherer
Debootstrapping without Archeology - Stacked Implementations in Camlboot. Art Sci. Eng. Program. 6 (3) (2022)
Frédéric Bour, Basile Clément, Gabriel Scherer
Tail Modulo Cons. CoRR (2021)
Alban Reynaud, Gabriel Scherer, Jeremy Yallop
A practical mode system for recursive definitions. Proc. ACM Program. Lang. 5 (POPL) (2021)
Ulysse Gérard, Dale Miller, Gabriel Scherer
Functional programming with lambda-tree syntax. CoRR (2019)
Ulysse Gérard, Dale Miller, Gabriel Scherer
Functional programming with λ-tree syntax. PPDP (2019)
Pierre-Évariste Dagand, Lionel Rieg, Gabriel Scherer
Dependent Pearl: Normalization by realizability. CoRR (2019)
Frédéric Bour, Thomas Refis, Gabriel Scherer
Merlin: a language server for OCaml (experience report). Proc. ACM Program. Lang. 2 (ICFP) (2018)
James Koppel, Gabriel Scherer, Armando Solar-Lezama
Capturing the future by replaying the past (functional pearl). Proc. ACM Program. Lang. 2 (ICFP) (2018)
Simon Colin, Rodolphe Lepigre, Gabriel Scherer
Unboxing Mutually Recursive Type Definitions in OCaml. CoRR (2018)
Frédéric Bour, Thomas Refis, Gabriel Scherer
Merlin: A Language Server for OCaml (Experience Report). CoRR (2018)
Alban Reynaud, Gabriel Scherer, Jeremy Yallop
A right-to-left type system for mutually-recursive value definitions. CoRR (2018)
Olivier Flückiger, Gabriel Scherer, Ming-Ho Yee, Aviral Goel, Amal Ahmed, Jan Vitek
Correctness of speculative optimizations with dynamic deoptimization. Proc. ACM Program. Lang. 2 (POPL) (2018)
Gabriel Scherer, Max S. New, Nick Rioux, Amal Ahmed
Fab ous Interoperability for ML and a Linear Language. FoSSaCS (2018)
Gabriel Scherer, Max S. New, Nicholas Rioux, Amal Ahmed
FabULous Interoperability for ML and a Linear Language. CoRR (2017)
Olivier Flückiger, Gabriel Scherer, Ming-Ho Yee, Aviral Goel, Amal Ahmed, Jan Vitek
Correctness of Speculative Optimizations with Dynamic Deoptimization. CoRR (2017)
Gabriel Scherer
Search for Program Structure. SNAPL (2017)
Gabriel Scherer
Deciding equivalence with sums and the empty type. POPL (2017)
Gabriel Scherer
Deciding equivalence with sums and the empty type. CoRR (2016)
Gabriel Scherer, Didier Rémy
Full Reduction in the Face of Absurdity. ESOP (2015)
Gabriel Scherer
Multi-Focusing on Extensional Rewriting with Sums. TLCA (2015)
Guillaume Munch-Maccagnoni, Gabriel Scherer
Polarised Intermediate Representation of Lambda Calculus with Sums. LICS (2015)
Gabriel Scherer, Didier Rémy
Which simple types have a unique inhabitant? ICFP (2015)
Gabriel Scherer, Jan Hoffmann
Tracking Data-Flow with Open Closure Types. CoRR (2013)
Gabriel Scherer, Didier Rémy
GADTs Meet Subtyping. ESOP (2013)
Gabriel Scherer, Jan Hoffmann
Tracking Data-Flow with Open Closure Types. LPAR (2013)
Gabriel Scherer, Didier Rémy
GADTs meet subtyping CoRR (2013)
Andreas Abel, Gabriel Scherer
On Irrelevance and Algorithmic Equality in Predicative Type Theory Log. Methods Comput. Sci. 8 (1) (2012)
Gabriel Scherer, Didier Rémy
GADT meet Subtyping CoRR (2012)

Gabriel Scherer.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Gabriel Scherer