conf.researchr.org / Anton Lorenzen
Not registered as user yet
Name:Anton Lorenzen
Country:United Kingdom
Affiliation:University of Edinburgh
Contributions
| POPL 2023 | Author of Tail Recursion Modulo Context: An Equational Approach within the POPL-track |