TY  - RPRT
TI  - A static cost analysis for a higher-order language
AU  - N. Danner
AU  - J. Paykin
AU  - J. S. Royer
PY  - 2012
DO  - 10.1145/2428116.2428123
UR  - https://arxiv.org/abs/1206.3523
ID  - 1206.3523
ER  -