conf.researchr.org / Thomas Ehrhard

Registered user since Wed 1 Nov 2017

Name:Thomas Ehrhard
Affiliation:CNRS and University Paris Diderot

Contributions

LAFI 2023 Author of The Variable Elimination Algorithm as a Let-Term Rewriting within the LAFI 2023-track
POPL 2018 Author of Measurable cones and stable, measurable functions within the Research Papers-track
PPS 2018 Author of Stable, measurable functions and probabilistic programs within the PPS 2018-track