Gabriel Scherer - PEPM 2017

Write a Blog >>

Mon 16 - Tue 17 January 2017

co-located with POPL 2017

Registered user since Mon 23 Mar 2015

Name:Gabriel Scherer

Country:United States

Affiliation:Northeastern University

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

Contributions

2017

POPL

Deciding equivalence with sums and the empty type

SCM

Full Abstraction for Language Design (Short talk)

Show activities from other conferences

POPL 2017-profile
View general profile