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