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