TY  - RPRT
TI  - From bounded affine types to automatic timing analysis
AU  - Dan R. Ghica
AU  - Alex Smith
PY  - 2013
UR  - https://arxiv.org/abs/1307.2473
ID  - 1307.2473
ER  -