conf.researchr.org / Thomas Ehrhard

Registered user since Wed 1 Nov 2017

Name: Thomas Ehrhard

Affiliation: CNRS and University Paris Diderot

Contributions

PPS 2018Author of Stable, measurable functions and probabilistic programs within the PPS 2018-track
POPL 2018Author of Measurable cones and stable, measurable functions within the Research Papers-track