@misc{indiciaef64d99d46d55,
  title = {Dijkstra Monads for All},
  author = {Kenji Maillard and Danel Ahman and Robert Atkey and Guido Martinez and Catalin Hritcu and Exequiel Rivas and Éric Tanter},
  year = {2019},
  url = {https://arxiv.org/abs/1903.01237},
  note = {Source identifier: 1903.01237}
}