Gabriel Scherer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
2013–2019
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | PPDP | Functional programming with λ-tree syntax. | Ulysse Grard, Dale Miller, Gabriel Scherer |
| 2018 | FOSSACS | Fab ous Interoperability for ML and a Linear Language. | Gabriel Scherer, Max S. New, Nick Rioux, Amal Ahmed |
| 2017 | POPL | Deciding equivalence with sums and the empty type. | Gabriel Scherer |
| 2015 | ESOP | Full Reduction in the Face of Absurdity. | Gabriel Scherer, Didier Rmy |
| 2015 | ICFP | Which simple types have a unique inhabitant? | Gabriel Scherer, Didier Rmy |
| 2015 | LICS | Polarised Intermediate Representation of Lambda Calculus with Sums. | Guillaume Munch-Maccagnoni, Gabriel Scherer |
| 2013 | ESOP | GADTs Meet Subtyping. | Gabriel Scherer, Didier Rmy |
| 2013 | LPAR | Tracking Data-Flow with Open Closure Types. | Gabriel Scherer, Jan Hoffmann |