Programming Systems Lab: Publications by Marc Roth

Saarland University Computer Science

Select author:

2019

The Weak Call-By-Value λ-Calculus is Reasonable for Both Time and Space   (pdf)
Yannick Forster, Fabian Kunze, Marc Roth
Technical Report, Full version appeared as arXiv:1902.07515 (To appear)


Login to edit


Legal notice, Privacy policy