Orpheas van Rooij -

Registered user since Tue 17 Oct 2023

Name:Orpheas van Rooij

Country:United Kingdom

Affiliation:University of Edinburgh

Personal website: https://www.orpheasvanrooij.com

Contributions

2025

POPL

Author of Affect: An Affine Type and Effect System within the POPL-track