@INPROCEEDINGS {
	AUTHOR = "Kenji Maillard and Danel Ahman and Robert Atkey and Guido Mart{\'{\i}}nez and Catalin Hritcu and Exequiel Rivas and {\'E}ric Tanter",
	TITLE = "Dijkstra Monads for All",
	BOOKTITLE = "24th International Conference on Functional Programming (ICFP)",
	PAGES = "104:1-104:29",
	MONTH = "Aug",
	YEAR = "2019",
	ADDRESS = "Berlin, Germany",
	PUBLISHER = "ACM Press",
	}