Tobias Fritz & Paolo Perrone (2018):
A Criterion for Kan Extensions of Lax Monoidal Functors.
arXiv eprint 1809.10481 [math.CT],
doi:10.48550/arXiv.1809.10481.
Soichiro Fujii, Shin-ya Katsumata & Paul-André Melliès (2016):
Towards a Formal Theory of Graded Monads.
In: Bart Jacobs & Christof Löding: Proc. of 19th Int. Conf. on Foundations of Software Science and Computation Structures, FoSSaCS 2016,
Lect. Notes in Comput. Sci. 9634.
Springer,
Cham,
pp. 513–530,
doi:10.1007/978-3-662-49630-5_30.
Ohad Kammar & Dylan McDermott (2018):
Factorisation Systems for Logical Relations and Monadic Lifting in Type-and-Effect System Semantics.
Electron. Notes Theor. Comput. Sci. 341,
pp. 239–260,
doi:10.1016/j.entcs.2018.11.012.
Shin-ya Katsumata (2014):
Parametric Effect Monads and Semantics of Effect Systems.
In: Proc. of 41st Ann. ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, POPL '14.
ACM,
New York,
pp. 633–646,
doi:10.1145/2535838.2535846.
Shin-ya Katsumata, Dylan McDermott, Tarmo Uustalu & Nicolas Wu (2022):
Flexible Presentations of Graded Monads.
Proc. ACM Program. Lang. 6(ICFP),
pp. 123:1–123:29,
doi:10.1145/3547654.
G. Max Kelly (1992):
On Clubs and Data-Type Constructors.
In: Michael P. Fourman, Peter T. Johnstone & Andrew M. Pitts: Applications of Categories in Computer Science,
London. Math. Soc. Lect. Note Series 177.
Cambridge Univ. Press,
pp. 163–190,
doi:10.1017/cbo9780511525902.010.
Stephen Lack & Ross Street (2014):
Triangulations, Orientals, and Skew Monoidal Categories.
Adv. Math. 258,
pp. 351–396,
doi:10.1016/j.aim.2014.03.003.
John M. Lucassen & David K. Gifford (1988):
Polymorphic Effect Systems.
In: Proc. of 15th ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, POPL '88.
ACM,
New York,
pp. 47–57,
doi:10.1145/73560.73564.
Dylan McDermott, Maciej Piróg & Tarmo Uustalu (2020):
Degrading Lists.
In: Proc. of 22nd Int. Symp. on Principles and Practice of Declarative Programming, PPDP '20.
ACM,
New York,
pp. 6:1–6:14,
doi:10.1145/3414080.3414084.
Eugenio Moggi (1989):
Computational Lambda-Calculus and Monads.
In: Proc. of 4th Ann. Symp. on Logic in Computer Science, LICS '89.
IEEE Press,
Los Alamitos, CA,
pp. 14–23,
doi:10.1109/lics.1989.39155.
Gordon Plotkin & John Power (2003):
Algebraic Operations and Generic Effects.
Appl. Categ. Struct. 11,
pp. 69–94,
doi:10.1023/a:1023064908962.
Alexander Smirnov (2008):
Graded Monads and Rings of Polynomials.
J. Math. Sci. 151,
pp. 3032–3051,
doi:10.1007/s10958-008-9013-7.
Kornel Szlachányi (2012):
Skew-Monoidal Categories and Bialgebroids.
Adv. Math. 231(3–4),
pp. 1694–1730,
doi:10.1016/j.aim.2012.06.027.
eptcs@eptcs.org