@misc{indiciae36c0d4986163,
  title = {Towards Automatic Resource Bound Analysis for OCaml},
  author = {Jan Hoffmann and Ankush Das and Shu-Chun Weng},
  year = {2016},
  url = {https://arxiv.org/abs/1611.00692},
  note = {Source identifier: 1611.00692}
}