Write a Blog >>

Not registered as user yet

Name: Marc Roth

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


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

POPL 2020-profile
View general profile