
Registered user since Wed 7 Mar 2018
Name:Theo Winterhalter
Affiliation:Inria — LS2N
Contributions
POPL 2021 | The Taming of the Rew: A Type Theory with Computational Assumptions | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2021-profile
View general profile
View general profile