conf.researchr.org / Sheng Chen

Registered user since Wed 21 Oct 2015

Name: Sheng Chen

Affiliation: Oregon State University

Contributions

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