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