TY  - RPRT
TI  - Dijkstra Monads for All
AU  - Kenji Maillard
AU  - Danel Ahman
AU  - Robert Atkey
AU  - Guido Martinez
AU  - Catalin Hritcu
AU  - Exequiel Rivas
AU  - Éric Tanter
PY  - 2019
UR  - https://arxiv.org/abs/1903.01237
ID  - 1903.01237
ER  -