Yannick Forster 0002, Fabian Kunze, Marc Roth
The weak call-by-value λ-calculus is reasonable for both time and space
POPL, 2020.
@article{POPL-2020-ForsterKR,
author = "Yannick Forster 0002 and Fabian Kunze and Marc Roth",
doi = "10.1145/3371095",
journal = "{Proceedings of the ACM on Programming Languages}",
number = "POPL",
pages = "23",
publisher = "{ACM}",
title = "{The weak call-by-value λ-calculus is reasonable for both time and space}",
volume = 4,
year = 2020,
}