
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