@article(DBLP:journals/tcs/AczelAMV03,
author = {Peter Aczel and Ji\v{r}\'\i\ Ad{\'a}mek and Stefan Milius and Ji\v{r}\'\i\ Velebil},
year = {2003},
title = {{Infinite trees and completely iterative theories: a coalgebraic view}},
journal = {Theoretical Computer Science},
volume = {300},
number = {1-3},
pages = {1–45},
doi = {10.1016/S0304-3975(02)00728-4},
)
@article(DBLP:journals/lmcs/AdamekMV06,
author = {Ji\v{r}\'\i\ Ad{\'a}mek and Stefan Milius and Ji\v{r}\'\i\ Velebil},
year = {2006},
title = {Elgot Algebras},
journal = {Logical Methods in Computer Science},
volume = {2},
number = {5},
doi = {10.2168/LMCS-2(5:4)2006},
)
@inproceedings(induction-with-effects,
author = {Robert Atkey and Neil Ghani and Bart Jacobs and Patricia Johann},
year = {2012},
title = {Fibrational Induction Meets Effects},
editor = {Lars Birkedal},
booktitle = {Foundations of Software Science and Computational Structures},
series = {Lecture Notes in Computer Science},
volume = {7213},
publisher = {Springer},
pages = {42--57},
doi = {10.1007/978-3-642-28729-9\_3},
)
@article(interleaving,
author = {Robert Atkey and Patricia Johann},
year = {2015},
title = {Interleaving data and effects},
journal = {Journal of Functional Programming},
volume = {25},
doi = {10.1017/S0956796815000209},
)
@inproceedings(DBLP:conf/ctcs/BackhouseBGW95,
author = {Roland Carl Backhouse and Marcel Bijsterveld and Rik van Geldrop and Jaap van der Woude},
year = {1995},
title = {{Categorical Fixed Point Calculus}},
booktitle = {{Category Theory and Computer Science}},
pages = {159–179},
doi = {10.1007/3-540-60164-3\_25},
)
@book(ttt,
author = {Michael Barr and Charles Wells},
year = {1985},
title = {Toposes, Triples, and Theories},
series = {Grundlehren der mathematischen Wissenschaften},
publisher = {Springer-Verlag},
address = {New York},
url = {http://www.tac.mta.ca/tac/reprints/articles/12/tr12abs.html},
doi = {10.1007/978-1-4899-0021-0},
)
@phdthesis(BeckPhD,
author = {Jonathan M. Beck},
year = {1967},
title = {Triples, Algebras and Cohomology},
school = {Columbia University},
url = {http://www.tac.mta.ca/tac/reprints/articles/2/tr2abs.html},
)
@incollection(distr,
author = {Jonathan M. Beck},
year = {1969},
title = {Distributive laws},
editor = {B. Eckmann},
booktitle = {Seminar on Triples and Categorical Homology Theory},
series = {Lecture Notes in Mathematics},
volume = {80},
publisher = {Springer Berlin Heidelberg},
pages = {119--140},
doi = {10.1007/BFb0083084},
url = {http://www.tac.mta.ca/tac/reprints/articles/18/tr18abs.html},
)
@article(DBLP:journals/jfp/Bird06,
author = {Richard S. Bird},
year = {2006},
title = {A program to solve {S}udoku (functional pearl)},
journal = {Journal of Functional Programming},
volume = {16},
number = {6},
pages = {671--679},
doi = {10.1017/S0956796806006058},
)
@article(Filinski:2007:IRE:1291220.1291168,
author = {Andrzej Filinski and St{\o}vring, Kristian},
year = {2007},
title = {Inductive Reasoning About Effectful Data Types},
journal = {SIGPLAN Not.},
volume = {42},
number = {9},
pages = {97--110},
doi = {10.1145/1291220.1291168},
)
@article(fiorestrong,
author = {Marcelo Fiore},
year = {2013},
title = {An equational metalogic for monadic equational systems},
journal = {Theory and Applications of Categories},
volume = {27},
number = {18},
pages = {465--492},
url = {http://www.tac.mta.ca/tac/volumes/27/18/27-18abs.html},
)
@inproceedings(DBLP:conf/lics/FiorePT99,
author = {Marcelo P. Fiore and Gordon D. Plotkin and Daniele Turi},
year = {1999},
title = {Abstract syntax and variable binding},
booktitle = {14th Annual {IEEE} Symposium on Logic in Computer Science, Trento, Italy, July 2-5, 1999},
publisher = {{IEEE} Computer Society},
pages = {193--202},
doi = {10.1109/LICS.1999.782615},
)
@inproceedings(DBLP:conf/icfp/Hinze00,
author = {Ralf Hinze},
year = {2000},
title = {Deriving backtracking monad transformers (functional pearl)},
editor = {Martin Odersky and Philip Wadler},
booktitle = {Proceedings of the Fifth {ACM} {SIGPLAN} International Conference on Functional Programming {(ICFP} '00), Montreal, Canada, September 18-21, 2000.},
publisher = {{ACM}},
pages = {186--197},
doi = {10.1145/351240.351258},
)
@inproceedings(DBLP:conf/mpc/Hinze12,
author = {Ralf Hinze},
year = {2012},
title = {{K}an extensions for program optimisation or: {A}rt and {D}an explain an old trick},
editor = {Jeremy Gibbons and Pablo Nogueira},
booktitle = {Mathematics of Program Construction - 11th International Conference, {MPC} 2012, Madrid, Spain, June 25-27, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7342},
publisher = {Springer},
pages = {324--362},
doi = {10.1007/978-3-642-31113-0\_16},
)
@inproceedings(DBLP:conf/afp/Hughes95,
author = {John Hughes},
year = {1995},
title = {The design of a pretty-printing Library},
editor = {Johan Jeuring and Erik Meijer},
booktitle = {Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques, B{\r a}stad, Sweden, May 24-30, 1995, Tutorial Text},
series = {Lecture Notes in Computer Science},
volume = {925},
publisher = {Springer},
pages = {53--96},
doi = {10.1007/3-540-59451-5\_3},
)
@article(DBLP:journals/tcs/HylandPP06,
author = {Martin Hyland and Gordon D. Plotkin and John Power},
year = {2006},
title = {{Combining effects: Sum and tensor}},
journal = {Theoretical Computer Science},
volume = {357},
number = {1-3},
pages = {70–99},
doi = {10.1016/j.tcs.2006.03.013},
)
@article(DBLP:journals/tcs/HylandP06,
author = {Martin Hyland and John Power},
year = {2006},
title = {Discrete {L}awvere theories and computational effects},
journal = {Theoretical Computer Science},
volume = {366},
number = {1-2},
pages = {144--162},
doi = {10.1016/j.tcs.2006.07.007},
)
@article(Jaskelioff20104441,
author = {Mauro Jaskelioff and Eugenio Moggi},
year = {2010},
title = {{Monad transformers as monoid transformers}},
journal = {Theoretical Computer Science},
volume = {411},
number = {51–52},
pages = {4441–4466},
doi = {10.1016/j.tcs.2010.09.011},
)
@article(BAZ:4759448,
author = {Gregory M. Kelly},
year = {1980},
title = {A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on},
journal = {Bulletin of the Australian Mathematical Society},
volume = {22},
pages = {1--83},
doi = {10.1017/S0004972700006353},
)
@article(DBLP:conf/icfp/KiselyovSFS05,
author = {Oleg Kiselyov and Chung-chieh Shan and Daniel P. Friedman and Amr Sabry},
year = {2005},
title = {Backtracking, Interleaving, and Terminating Monad Transformers: (Functional Pearl)},
journal = {SIGPLAN Notices},
volume = {40},
number = {9},
pages = {192--203},
doi = {10.1145/1090189.1086390},
)
@article(JAZ:4877532,
author = {Anders Kock},
year = {1971},
title = {Closed categories generated by commutative monads},
journal = {Journal of the Australian Mathematical Society},
volume = {12},
pages = {405--424},
doi = {10.1017/S1446788700010272},
)
@article(leinstercod,
author = {Tom Leinster},
year = {2013},
title = {Codensity and the ultrafilter monad},
journal = {Theory and Applications of Categories},
volume = {28},
number = {13},
pages = {332--370},
url = {http://www.tac.mta.ca/tac/volumes/28/13/28-13abs.html},
)
@book(lane1998categories,
author = {Mac Lane, Saunders},
year = {1998},
title = {Categories for the Working Mathematician},
series = {Graduate Texts in Mathematics},
publisher = {Springer},
doi = {10.1007/978-1-4757-4721-8},
)
@techreport(citeulike:763238,
author = {Eugenio Moggi},
year = {1989},
title = {{An Abstract View of Programming Languages}},
type = {Technical Report},
institution = {Edinburgh University},
url = {http://www.lfcs.inf.ed.ac.uk/reports/90/ECS-LFCS-90-113/},
)
@incollection(EPTCS1296,
author = {Philip Mulry},
year = {2013},
title = {Notions of Monad Strength},
editor = {Anindya Banerjee and Olivier Danvy and Kyung-Goo Doh and John Hatcliff},
booktitle = {Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday, {\rm Manhattan, Kansas, USA, 19-20th September 2013}},
series = {Electronic Proceedings in Theoretical Computer Science},
volume = {129},
publisher = {Open Publishing Association},
pages = {67--83},
doi = {10.4204/EPTCS.129.6},
)
@article(DBLP:journals/entcs/PirogG14,
author = {Maciej Pir{\'{o}}g and Jeremy Gibbons},
year = {2014},
title = {The Coinductive Resumption Monad},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {308},
pages = {273--288},
doi = {10.1016/j.entcs.2014.10.015},
note = {Mathematical Foundations of Programming Semantics ({MFPS} XXX)},
)
@article(DBLP:journals/acs/PlotkinP03,
author = {Gordon D. Plotkin and John Power},
year = {2003},
title = {Algebraic Operations and Generic Effects},
journal = {Applied Categorical Structures},
volume = {11},
number = {1},
pages = {69--94},
doi = {10.1023/A:1023064908962},
)
@unpublished(RivasJaskelioff2014,
author = {Exequiel Rivas and Mauro Jaskelioff},
year = {2014},
title = {Notions of Computation as Monoids},
url = {http://arxiv.org/abs/1406.4823},
note = {Submitted to the Journal of Functional Programming},
)
@inproceedings(DBLP:conf/ppdp/RivasJS15,
author = {Exequiel Rivas and Mauro Jaskelioff and Tom Schrijvers},
year = {2015},
title = {From monoids to near-semirings: the essence of MonadPlus and alternative},
editor = {Moreno Falaschi and Elvira Albert},
booktitle = {Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, July 14-16, 2015},
publisher = {{ACM}},
pages = {196--207},
doi = {10.1145/2790449.2790514},
)
@inproceedings(DBLP:conf/fpca/Wadler85,
author = {Philip Wadler},
year = {1985},
title = {How to replace failure by a list of Successes: {A} method for exception handling, backtracking, and pattern matching in lazy functional languages},
editor = {Jean{-}Pierre Jouannaud},
booktitle = {Functional Programming Languages and Computer Architecture, {FPCA} 1985, Nancy, France, September 16-19, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {201},
publisher = {Springer},
pages = {113--128},
doi = {10.1007/3-540-15975-4\_33},
)
@article(Wand,
author = {Mitchell Wand and Dale Vaillancourt},
year = {2004},
title = {Relating Models of Backtracking},
journal = {SIGPLAN Notices},
volume = {39},
number = {9},
pages = {54--65},
doi = {10.1145/1016848.1016861},
)
@article(wolff,
author = {Harvey Wolff},
year = {1973},
title = {Monads and monoids on symmetric monoidal closed categories},
journal = {Archiv der Mathematik},
volume = {24},
number = {1},
pages = {113--120},
doi = {10.1007/BF01228184},
)