TY  - RPRT
TI  - Denotational semantics as a foundation for cost recurrence extraction for functional languages
AU  - Norman Danner
AU  - Daniel R. Licata
PY  - 2022
DO  - 10.1017/s095679682200003x
UR  - https://arxiv.org/abs/2002.07262
ID  - 2002.07262
ER  -