Registered user since Wed 1 Nov 2017

Name: Thomas Ehrhard

Affiliation: CNRS and University Paris Diderot

Contributions

PPS 2018 Stable, measurable functions and probabilistic programs
POPL 2018 Measurable cones and stable, measurable functions
Show activities from other conferences

POPL 2018-profile
View general profile