BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Scherer:Gabriel

Contributed to:

ESOP 20152015
ICFP 20152015
LICS 20152015
TLCA 20152015
ESOP 20132013
POPL 20172017
POPL 20182018
PPDP 20192019

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.