@misc{indiciae504abefc4f54,
  title = {The Weak Call-By-Value λ-Calculus is Reasonable for Both Time and Space},
  author = {Yannick Forster and Fabian Kunze and Marc Roth},
  year = {2019},
  doi = {10.1145/3371095},
  url = {https://arxiv.org/abs/1902.07515},
  note = {Source identifier: 1902.07515}
}