• Sign in
  • Sign up
conf.researchr.org / Thomas Ehrhard
  • POPL 2018 profile
  • POPL 2023 profile
No Photo

Registered user since Wed 1 Nov 2017

Name:Thomas Ehrhard
Affiliation:CNRS and University Paris Diderot

Contributions

2023

LAFI

  • Author of The Variable Elimination Algorithm as a Let-Term Rewriting within the LAFI 2023-track

2018

POPL

  • Author of Measurable cones and stable, measurable functions within the Research Papers-track

LAFI

  • Author of Stable, measurable functions and probabilistic programs within the PPS 2018-track
Share
xThu 8 May 19:55
using conf.researchr.org (v1.69.0)
Support page
Sign Up