Article
Proceedings of the ACM on Programming Languages  (2019)

Dijkstra Monads for All

Maillard, Kenji; Ahman, Danel; Atkey, Robert; Martinez, Guido; Hritcu, Catalin; Rivas, Exequiel; TANTER, ÉRIC

Más información

Título de la Revista: Proceedings of the ACM on Programming Languages
Volumen: 3
Número: ICFP
Editorial: Association for Computing Machinery (ACM)
Fecha de publicación: 2019
Página de inicio: 104:1
Página final: 104:29
URL: https://doi.org/10.1145/3341708