Sheng Chen -

Registered user since Wed 21 Oct 2015

Name:Sheng Chen

Affiliation:Oregon State University

Contributions

ECOOP 2016	Author of A Calculus for Variational Programming within the Research Track-track
STOP 2016	Committee Member in Program Committee within the STOP-track
POPL 2016	Author of Principal Type Inference for GADTs within the Research Papers-track