@misc(fritz2018criterion,
 author       = {Tobias Fritz and Paolo Perrone},
 year         = {2018},
 title        = {A Criterion for {K}an Extensions of Lax Monoidal Functors},
 howpublished = {arXiv eprint 1809.10481 [math.CT]},
 doi          = {10.48550/arXiv.1809.10481},
)
@incollection(fujii2016towards,
 author       = {Soichiro Fujii and {Shin-ya} Katsumata and Paul-Andr{\' e} Melli{\`e}s},
 year         = {2016},
 title        = {Towards a Formal Theory of Graded Monads},
 editor       = {Bart Jacobs and Christof L{\"o}ding},
 booktitle    = {Proc.\ of 19th Int.\ Conf.\ on Foundations of Software Science and Computation Structures, FoSSaCS 2016},
 series       = {Lect. Notes in Comput. Sci.},
 volume       = {9634},
 publisher    = {Springer},
 address      = {Cham},
 pages        = {513--530},
 doi          = {10.1007/978-3-662-49630-5\_30},
)
@article(kammar2018factorisation,
 author       = {Ohad Kammar and Dylan McDermott},
 year         = {2018},
 title        = {Factorisation Systems for Logical Relations and Monadic Lifting in Type-and-Effect System Semantics},
 journal      = {Electron.\ Notes Theor.\ Comput.\ Sci.},
 volume       = {341},
 pages        = {239--260},
 doi          = {10.1016/j.entcs.2018.11.012},
)
@incollection(katsumata2014,
 author       = {Shin{-}ya Katsumata},
 year         = {2014},
 title        = {Parametric Effect Monads and Semantics of Effect Systems},
 booktitle    = {Proc.\ of 41st Ann.\ ACM SIGPLAN-SIGACT Symp.\ on Principles of Programming Languages, POPL '14},
 publisher    = {ACM},
 address      = {New York},
 pages        = {633--646},
 doi          = {10.1145/2535838.2535846},
)
@article(KMUW:flepgm,
 author       = {{Shin-ya} Katsumata and Dylan McDermott and Tarmo Uustalu and Nicolas Wu},
 year         = {2022},
 title        = {Flexible Presentations of Graded Monads},
 journal      = {Proc.\ ACM Program.\ Lang.},
 volume       = {6},
 number       = {ICFP},
 pages        = {123:1--123:29},
 doi          = {10.1145/3547654},
)
@incollection(kelly1992clubs,
 author       = {{G. Max} Kelly},
 year         = {1992},
 title        = {On Clubs and Data-Type Constructors},
 editor       = {{Michael P.} Fourman and {Peter T.} Johnstone and {Andrew M.} Pitts},
 booktitle    = {Applications of Categories in Computer Science},
 series       = {London.\ Math.\ Soc.\ Lect.\ Note Series},
 volume       = {177},
 publisher    = {Cambridge Univ. Press},
 pages        = {163--190},
 doi          = {10.1017/cbo9780511525902.010},
)
@article(LS:triaos,
 author       = {Stephen Lack and Ross Street},
 year         = {2014},
 title        = {Triangulations, Orientals, and Skew Monoidal Categories},
 journal      = {Adv.\ Math.},
 volume       = {258},
 pages        = {351--396},
 doi          = {10.1016/j.aim.2014.03.003},
)
@inproceedings(lucassen1988polymorphic,
 author       = {John M. Lucassen and David K. Gifford},
 year         = {1988},
 title        = {Polymorphic Effect Systems},
 booktitle    = {Proc.\ of 15th ACM SIGPLAN-SIGACT Symp.\ on Principles of Programming Languages, POPL '88},
 publisher    = {ACM},
 address      = {New York},
 pages        = {47--57},
 doi          = {10.1145/73560.73564},
)
@incollection(MPU:degl,
 author       = {Dylan McDermott and Maciej Pir{\'{o}}g and Tarmo Uustalu},
 year         = {2020},
 title        = {Degrading Lists},
 booktitle    = {Proc.\ of 22nd Int.\ Symp.\ on Principles and Practice of Declarative Programming, PPDP '20},
 publisher    = {ACM},
 address      = {New York},
 pages        = {6:1--6:14},
 doi          = {10.1145/3414080.3414084},
)
@misc(mellies2012parametric,
 author       = {Paul-Andr{\'e} Melli{\`e}s},
 year         = {2012},
 title        = {Parametric Monads and Enriched Adjunctions},
 howpublished = {Manuscript},
 url          = {https://www.irif.fr/~mellies/tensorial-logic/8-parametric-monads-and-enriched-adjunctions.pdf},
)
@incollection(moggi1989computational,
 author       = {Eugenio Moggi},
 year         = {1989},
 title        = {Computational Lambda-Calculus and Monads},
 booktitle    = {Proc.\ of 4th Ann.\ Symp.\ on Logic in Computer Science, LICS~'89},
 publisher    = {IEEE Press},
 address      = {Los Alamitos, CA},
 pages        = {14--23},
 doi          = {10.1109/lics.1989.39155},
)
@article(plotkin2003algebraic,
 author       = {Gordon Plotkin and John Power},
 year         = {2003},
 title        = {Algebraic Operations and Generic Effects},
 journal      = {Appl.\ Categ.\ Struct.},
 volume       = {11},
 pages        = {69--94},
 doi          = {10.1023/a:1023064908962},
)
@article(Smirnov2008,
 author       = {Alexander Smirnov},
 year         = {2008},
 title        = {Graded Monads and Rings of Polynomials},
 journal      = {J. Math. Sci.},
 volume       = {151},
 pages        = {3032--3051},
 doi          = {10.1007/s10958-008-9013-7},
)
@article(Szl:skemcb,
 author       = {Kornel Szlach{\'a}nyi},
 year         = {2012},
 title        = {Skew-Monoidal Categories and Bialgebroids},
 journal      = {Adv.\ Math.},
 volume       = {231},
 number       = {3--4},
 pages        = {1694--1730},
 doi          = {10.1016/j.aim.2012.06.027},
)