TY  - RPRT
TI  - Dijkstra Monads for Free
AU  - Danel Ahman
AU  - Catalin Hritcu
AU  - Kenji Maillard
AU  - Guido Martinez
AU  - Gordon Plotkin
AU  - Jonathan Protzenko
AU  - Aseem Rastogi
AU  - Nikhil Swamy
PY  - 2019
UR  - https://arxiv.org/abs/1608.06499
ID  - 1608.06499
ER  -