@misc{indiciaedfee6b58f6c0,
  title = {Denotational cost semantics for functional languages with inductive types},
  author = {Norman Danner and Daniel R. Licata and Ramyaa Ramyaa},
  year = {2015},
  url = {https://arxiv.org/abs/1506.01949},
  note = {Source identifier: 1506.01949}
}