Martin Erwig - POPL 2016

Registered user since Mon 15 Jun 2015

Name: Martin Erwig

Affiliation: Oregon State University

Personal website: http://oregonstate.edu/~erwig/

Contributions

PEPM 2016	Program Co-Chair in Program Committee within the PEPM-track Speaker of Welcome within the PEPM-track
POPL 2016	Author of Principal Type Inference for GADTs within the Research Papers-track
Show activities from other conferences