TY  - RPRT
TI  - Certifying and reasoning about cost annotations of functional programs
AU  - Roberto M. Amadio
AU  - Yann Regis-Gianas
PY  - 2013
UR  - https://arxiv.org/abs/1110.2350
ID  - 1110.2350
ER  -