{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T17:46:25Z","timestamp":1725644785167},"reference-count":12,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.380.1","type":"journal-article","created":{"date-parts":[[2023,7,28]],"date-time":"2023-07-28T11:58:01Z","timestamp":1690545481000},"page":"1-21","source":"Crossref","is-referenced-by-count":0,"title":["Canonical Gradings of Monads"],"prefix":"10.4204","volume":"380","author":[{"given":"Flavien","family":"Breuvart","sequence":"first","affiliation":[]},{"given":"Dylan","family":"McDermott","sequence":"additional","affiliation":[]},{"given":"Tarmo","family":"Uustalu","sequence":"additional","affiliation":[]}],"member":"2720","published-online":{"date-parts":[[2023,8,7]]},"reference":[{"key":"fujii2016towards","series-title":"Lect. Notes in Comput. Sci.","doi-asserted-by":"publisher","first-page":"513","DOI":"10.1007\/978-3-662-49630-5_30","article-title":"Towards a Formal Theory of Graded Monads","volume-title":"Proc. of 19th Int. Conf. on Foundations of Software Science and Computation Structures, FoSSaCS 2016","volume":"9634","author":"Fujii","year":"2016"},{"key":"kammar2018factorisation","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1016\/j.entcs.2018.11.012","article-title":"Factorisation Systems for Logical Relations and Monadic Lifting in Type-and-Effect System Semantics","volume":"341","author":"Kammar","year":"2018","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"katsumata2014","doi-asserted-by":"publisher","first-page":"633","DOI":"10.1145\/2535838.2535846","article-title":"Parametric Effect Monads and Semantics of Effect Systems","volume-title":"Proc. of 41st Ann. ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, POPL '14","author":"Katsumata","year":"2014"},{"key":"KMUW:flepgm","doi-asserted-by":"publisher","DOI":"10.1145\/3547654","article-title":"Flexible Presentations of Graded Monads","volume":"6","author":"Katsumata","year":"2022","journal-title":"Proc. ACM Program. Lang."},{"key":"kelly1992clubs","series-title":"London. Math. Soc. Lect. Note Series","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1017\/cbo9780511525902.010","article-title":"On Clubs and Data-Type Constructors","volume-title":"Applications of Categories in Computer Science","volume":"177","author":"Kelly","year":"1992"},{"key":"LS:triaos","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1016\/j.aim.2014.03.003","article-title":"Triangulations, Orientals, and Skew Monoidal Categories","volume":"258","author":"Lack","year":"2014","journal-title":"Adv. Math."},{"key":"lucassen1988polymorphic","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1145\/73560.73564","article-title":"Polymorphic Effect Systems","volume-title":"Proc. of 15th ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, POPL '88","author":"Lucassen","year":"1988"},{"key":"MPU:degl","doi-asserted-by":"publisher","DOI":"10.1145\/3414080.3414084","article-title":"Degrading Lists","volume-title":"Proc. of 22nd Int. Symp. on Principles and Practice of Declarative Programming, PPDP '20","author":"McDermott","year":"2020"},{"key":"moggi1989computational","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1109\/lics.1989.39155","article-title":"Computational Lambda-Calculus and Monads","volume-title":"Proc. of 4th Ann. Symp. on Logic in Computer Science, LICS '89","author":"Moggi","year":"1989"},{"key":"plotkin2003algebraic","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1023\/a:1023064908962","article-title":"Algebraic Operations and Generic Effects","volume":"11","author":"Plotkin","year":"2003","journal-title":"Appl. Categ. Struct."},{"key":"Smirnov2008","doi-asserted-by":"publisher","first-page":"3032","DOI":"10.1007\/s10958-008-9013-7","article-title":"Graded Monads and Rings of Polynomials","volume":"151","author":"Smirnov","year":"2008","journal-title":"J. Math. Sci."},{"key":"Szl:skemcb","doi-asserted-by":"publisher","first-page":"1694","DOI":"10.1016\/j.aim.2012.06.027","article-title":"Skew-Monoidal Categories and Bialgebroids","volume":"231","author":"Szlach\u00e1nyi","year":"2012","journal-title":"Adv. Math."}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2023,8,8]],"date-time":"2023-08-08T18:34:49Z","timestamp":1691519689000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/2307.16558v1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,8,7]]},"references-count":12,"URL":"https:\/\/doi.org\/10.4204\/eptcs.380.1","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,8,7]]}}}