POPL 2017
Sun 15 - Sat 21 January 2017
POPL 2017 (series) / Greg Morrisett

Not registered as user yet

Name: Greg Morrisett

Affiliation: Cornell University

Personal website: http://www.cs.cornell.edu/~jgm/

Contributions

PPS 2017Author of An application of computable distributions to the semantics of probabilistic programs: part 2 within the PPS-track
CoqPL 2017Author of CertiCoq: A verified compiler for Coq within the CoqPL 2017-track
Show activities from other conferences

POPL 2017-profile
View general profile