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

Registered user since Wed 9 Dec 2020

Name:Greg Morrisett
Affiliation:Cornell University
Personal website:http://www.cs.cornell.edu/~jgm/

Contributions

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

POPL 2017-profile
View general profile