Not registered as user yet

Name:Timotej Tomandl
Affiliation:University of Kent

Contributions

HOPE 2021 Author of Formalising Algebraic Effects with Non-Recoverable Failure within the HOPE 2021-track