Autor der Publikation

Sweedler Theory of Monads.

, , und . FoSSaCS, Volume 13242 von Lecture Notes in Computer Science, Seite 428-448. Springer, (2022)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Generalizing substitution.. FICS, Volume NS-02-2 von BRICS Notes Series, Seite 9-11. University of Aarhus, (2002)Dependently typed programming with finite sets., und . WGP@ICFP, Seite 33-44. ACM, (2015)Container Combinatorics: Monads and Lax Monoidal Functors.. TTCS, Volume 10608 von Lecture Notes in Computer Science, Seite 91-105. Springer, (2017)Coinduction for Computation Structures and Programming Languages (NII Shonan Meeting 2013-11)., , und . NII Shonan Meet. Rep., (2013)Monad Translating Inductive and Coinductive Types.. TYPES, Volume 2646 von Lecture Notes in Computer Science, Seite 299-315. Springer, (2002)Flexibly Graded Monads and Graded Algebras., und . MPC, Volume 13544 von Lecture Notes in Computer Science, Seite 102-128. Springer, (2022)Monads Need Not Be Endofunctors., , und . FoSSaCS, Volume 6014 von Lecture Notes in Computer Science, Seite 297-311. Springer, (2010)The Sequent Calculus of Skew Monoidal Categories., , und . MFPS, Volume 341 von Electronic Notes in Theoretical Computer Science, Seite 345-370. Elsevier, (2018)Decomposing Comonad Morphisms., und . CALCO, Volume 139 von LIPIcs, Seite 14:1-14:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Partiality and Container Monads., und . APLAS, Volume 10695 von Lecture Notes in Computer Science, Seite 406-425. Springer, (2017)