Registered user since Wed 9 Dec 2020
Name: Greg Morrisett
Affiliation: Cornell University
Personal website: http://www.cs.cornell.edu/~jgm/
Contributions
| PPS 2016 | An Application of Computable Distributions to the Semantics of Probabilistic Programs | ||||||||||||||||||||||||||||||||||||||||
| PLMW | Highs and Lows of a Language Researcher | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2016-profile
View general profile
View general profile