BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Gabriel Scherer
SearchCollections
Map detail
Gabriel Scherer11 visible / 11 total nodes / 10 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipGabriel SchererAGabriel SchererResearcherGADTs meet subtypingWGADTs meet subtypingpreprint / 2013GADT meet SubtypingWGADT meet Subtypingpreprint / 2012Tracking Data-Flow with Open Closure TypesWTracking Data-Flow with...preprint / 2013Deciding equivalence with sums and the empty typeWDeciding equivalence wi...preprint / 2016Correctness of Speculative Optimizations with Dynamic DeoptimizationWCorrectness of Speculat...preprint / 2017The free bifibration on a functorWThe free bifibration on...preprint / 2026On Irrelevance and Algorithmic Equality in Predicative Type TheoryWOn Irrelevance and Algo...preprint / 2012Debootstrapping without Archeology: Stacked Implementations in CamlbootWDebootstrapping without...preprint / 2022Tail Modulo ConsWTail Modulo Conspreprint / 2021Dependent Pearl: Normalization by realizabilityWDependent Pearl: Normal...preprint / 2020
Person10 links

Gabriel Scherer

Researcher

PaperGADTs meet subtypingAuthorship / preprint / 2013PaperGADT meet SubtypingAuthorship / preprint / 2012PaperTracking Data-Flow with Open Closure TypesAuthorship / preprint / 2013PaperDeciding equivalence with sums and the empty typeAuthorship / preprint / 2016PaperCorrectness of Speculative Optimizations with Dynamic DeoptimizationAuthorship / preprint / 2017PaperThe free bifibration on a functorAuthorship / preprint / 2026PaperOn Irrelevance and Algorithmic Equality in Predicative Type TheoryAuthorship / preprint / 2012PaperDebootstrapping without Archeology: Stacked Implementations in CamlbootAuthorship / preprint / 2022

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)