Write a Blog >>

Not registered as user yet

Name: Marc Roth

Affiliation: Saarland University and MMCI and Merton College, Oxford University

Contributions

POPL 2020Author of The Weak Call-By-Value λ-Calculus is Reasonable for Both Time and Space within the Research Papers-track
Show activities from other conferences

Using general profile