Travelled to:1 × Canada
1 × Italy
1 × Japan
1 × Poland
1 × United Kingdom
Collaborated with:D.Rémy ∅ G.Munch-Maccagnoni U.Gérard D.M.0001 Olivier Flückiger Ming-Ho Yee Aviral Goel A.Ahmed J.Vitek
Talks about:sum (3) type (2) represent (1) intermedi (1) extension (1) function (1) calculus (1) program (1) polaris (1) inhabit (1)
Person: Gabriel Scherer
DBLP: Scherer:Gabriel
Contributed to:
2015
2015
2015
20152013
20172018
2019Wrote 8 papers:
- ESOP-2015-SchererR #reduction
- Full Reduction in the Face of Absurdity (GS, DR), pp. 685–709.
- ICFP-2015-SchererR #question
- Which simple types have a unique inhabitant? (GS, DR), pp. 243–255.
- LICS-2015-Munch-Maccagnoni #representation #λ-calculus
- Polarised Intermediate Representation of λ Calculus with Sums (GMM, GS), pp. 127–140.
- TLCA-2015-Scherer #multi
- Multi-Focusing on Extensional Rewriting with Sums (GS), pp. 317–331.
- ESOP-2013-SchererR #data type #type system
- GADTs Meet Subtyping (GS, DR), pp. 554–573.
- POPL-2017-Scherer #equivalence
- Deciding equivalence with sums and the empty type (GS), pp. 374–386.
- POPL-2018-FluckigerSYGAV #correctness #optimisation
- Correctness of speculative optimizations with dynamic deoptimization (OF, GS, MHY, AG, AA, JV), p. 28.
- PPDP-2019-Gerard0S #functional #programming #syntax
- Functional programming with λ-tree syntax (UG, DM0, GS), p. 16.