TY  - RPRT
TI  - The Weak Call-By-Value λ-Calculus is Reasonable for Both Time and Space
AU  - Yannick Forster
AU  - Fabian Kunze
AU  - Marc Roth
PY  - 2019
DO  - 10.1145/3371095
UR  - https://arxiv.org/abs/1902.07515
ID  - 1902.07515
ER  -