@misc{indiciaee83aae25fa5d,
  title = {Certified proofs in programs involving exceptions},
  author = {Jean-Guillaume Dumas and Dominique Duval and Burak Ekici and Jean-Claude Reynaud},
  year = {2014},
  url = {https://arxiv.org/abs/1310.2338},
  note = {Source identifier: 1310.2338}
}