Write a Blog >>

Not registered as user yet

Name:Marc Roth
Affiliation:Saarland University and MMCI and Merton College, Oxford University

Contributions

POPL 2020 The Weak Call-By-Value λ-Calculus is Reasonable for Both Time and Space
Show activities from other conferences

POPL 2020-profile
View general profile