@misc{indiciaef094e513166e,
  title = {Imperative Functional Programs that Explain their Work},
  author = {Wilmer Ricciotti and Jan Stolarek and Roly Perera and James Cheney},
  year = {2017},
  doi = {10.1145/3110258},
  url = {https://arxiv.org/abs/1705.07678},
  note = {Source identifier: 1705.07678}
}