@misc{indiciaef777188f522a,
  title = {From bounded affine types to automatic timing analysis},
  author = {Dan R. Ghica and Alex Smith},
  year = {2013},
  url = {https://arxiv.org/abs/1307.2473},
  note = {Source identifier: 1307.2473}
}