@misc{indiciae52a2ead0e15c,
  title = {Recurrence Extraction for Functional Programs through Call-by-Push-Value (Extended Version)},
  author = {G. A. Kavvos and Edward Morehouse and Daniel R. Licata and Norman Danner},
  year = {2019},
  doi = {10.1145/3371083},
  url = {https://arxiv.org/abs/1911.04588},
  note = {Source identifier: 1911.04588}
}