Registered user since Mon 23 Mar 2015

Name: Gabriel Scherer

Country: United States

Affiliation: Northeastern University

Personal website: http://gallium.inria.fr/~scherer/

POPL 2017 Activities

• Presenter of Full Abstraction for Language Design (Short talk) within the SCM-track in SCM 2017
• Author of Deciding equivalence with sums and the empty type within the POPL-track in POPL 2017
• Show activities from other conferences