
Registered user since Thu 25 Oct 2018
Name:Ryan Culpepper
Country:Czech Republic
Affiliation:Czech Technical University
Personal website:http://www.ccs.neu.edu/home/ryanc/
Research interests:Programming languages
Contributions
ICFP 2018 | Contextual Equivalence for a Probabilistic Language with Continuous Random Variables and Recursion | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2018-profile
View general profile
View general profile