Gabriel Scherer

Statistics

Publications

Citations

105

H-Index

Active since

2012

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

Northeastern University

Gabriel Scherer is an author at Institut national de recherche en sciences et technologies du numérique specializing in computer science, computing, and type systems.

ORCID

Publications per year

2012–2017

Publications

On Irrelevance and Algorithmic Equality in Predicative Type Theory

Andreas Abel, Gabriel Scherer · Logical Methods in Computer Science · 2012 · 49 citations · Full text

Computing, Computer Science, Algorithms +8

Which simple types have a unique inhabitant?

Gabriel Scherer, Didier Rémy · 2015 · 21 citations · Full text

Computing, Computer Science, Algorithms +15

Polarised Intermediate Representation of Lambda Calculus with Sums

Guillaume Munch-Maccagnoni, Gabriel Scherer · 2015 · 12 citations

Computing, Computer Science, Algorithms +11

Deciding equivalence with sums and the empty type

Gabriel Scherer · 2016 · 12 citations · Full text

Computing, Computer Science, Mathematics +14

Deciding equivalence with sums and the empty type

Gabriel Scherer · ACM SIGPLAN Notices · 2017 · 11 citations · Full text

Computing, Computer Science, Mathematics +14

1–5 of 5