@misc{indiciae82f67843223e,
  title = {A static cost analysis for a higher-order language},
  author = {N. Danner and J. Paykin and J. S. Royer},
  year = {2012},
  doi = {10.1145/2428116.2428123},
  url = {https://arxiv.org/abs/1206.3523},
  note = {Source identifier: 1206.3523}
}