Registered user since Mon 15 Jun 2015

Name: Martin Erwig

Affiliation: Oregon State University

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

POPL 2016 Activities

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