@misc{indiciae550ad1822deb,
  title = {Program certification with computational effects},
  author = {Jean-Guillaume Dumas and Dominique Duval and Burak Ekici and Damien Pous},
  year = {2014},
  url = {https://arxiv.org/abs/1411.7140},
  note = {Source identifier: 1411.7140}
}