Article,
Dijkstra monads for all.
K. Maillard, D. Ahman, R. Atkey, G. Martínez, C. Hritcu, E. Rivas, and É. Tanter.Proc. ACM Program. Lang., 3 (ICFP): 104:1-104:29 (2019)
Meta data
- BibTeX key
- journals/pacmpl/MaillardAAMHRT19
- entry type
- article
- year
- 2019
- journal
- Proc. ACM Program. Lang.
- number
- ICFP
- pages
- 104:1-104:29
- volume
- 3
- ee
- https://doi.org/10.1145/3341708
- url
- http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl3.html#MaillardAAMHRT19
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Journal Article
%1 journals/pacmpl/MaillardAAMHRT19
%A Maillard, Kenji
%A Ahman, Danel
%A Atkey, Robert
%A Martínez, Guido
%A Hritcu, Catalin
%A Rivas, Exequiel
%A Tanter, Éric
%D 2019
%J Proc. ACM Program. Lang.
%K dblp
%N ICFP
%P 104:1-104:29
%T Dijkstra monads for all.
%U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl3.html#MaillardAAMHRT19
%V 3
@article{journals/pacmpl/MaillardAAMHRT19,
added-at = {2023-03-21T00:00:00.000+0100},
author = {Maillard, Kenji and Ahman, Danel and Atkey, Robert and Martínez, Guido and Hritcu, Catalin and Rivas, Exequiel and Tanter, Éric},
biburl = {https://www.bibsonomy.org/bibtex/2902c474d4d993fb47ec24a74d80a2155/dblp},
ee = {https://doi.org/10.1145/3341708},
interhash = {379c356fcb695a00bdd455130ba13886},
intrahash = {902c474d4d993fb47ec24a74d80a2155},
journal = {Proc. ACM Program. Lang.},
keywords = {dblp},
number = {ICFP},
pages = {104:1-104:29},
timestamp = {2024-04-08T09:55:01.000+0200},
title = {Dijkstra monads for all.},
url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl3.html#MaillardAAMHRT19},
volume = 3,
year = 2019
}