conf.researchr.org / Andrew Cobb

Not registered as user yet

Name: Andrew Cobb

Affiliation: Northeastern University

Contributions

PPS 2018Author of Contextual Equivalence for a Probabilistic Language with Continuous Random Variables and Recursion within the PPS 2018-track
ICFP 2018Author of Contextual Equivalence for a Probabilistic Language with Continuous Random Variables and Recursion within the Research Papers-track
PPS 2016Author of Finite-depth Higher-order Abstract Syntax Trees for Reasoning about Probabilistic Programs within the PPS 2016-track