Programming Systems Lab: Publications by Marc Roth

Saarland University Computer Science

Select author:


The Weak Call-By-Value λ-Calculus is Reasonable for Both Time and Space   (pdf)
Yannick Forster, Fabian Kunze, Marc Roth
47th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2020), New Orleans, USA

Login to edit

Legal notice, Privacy policy