@Inproceedings{EPTCS153.7, author = {Hicks, Michael and Bierman, Gavin and Guts, Nataliya and Leijen, Daan and Swamy, Nikhil}, year = {2014}, title = {Polymonadic Programming}, editor = {Levy, Paul and Krishnaswami, Neel }, booktitle = {{\rm Proceedings 5th Workshop on} Mathematically Structured Functional Programming, {\rm Grenoble, France, 12 April 2014}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {153}, publisher = {Open Publishing Association}, pages = {79-99}, doi = {10.4204/EPTCS.153.7}, }