Registered user since Wed 1 Nov 2017

Name:Thomas Ehrhard
Affiliation:CNRS and University Paris Diderot

Contributions

LAFI 2023 The Variable Elimination Algorithm as a Let-Term Rewriting
Show activities from other conferences

POPL 2023-profile
View general profile