TY  - RPRT
TI  - Recurrence Extraction for Functional Programs through Call-by-Push-Value (Extended Version)
AU  - G. A. Kavvos
AU  - Edward Morehouse
AU  - Daniel R. Licata
AU  - Norman Danner
PY  - 2019
DO  - 10.1145/3371083
UR  - https://arxiv.org/abs/1911.04588
ID  - 1911.04588
ER  -