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
View general profile