Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
18 | Gao Zhang, Shao-Qun Zhang |
Lax Extensions of Conical I-Semifilter Monads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 12(11), pp. 1034, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Gao Zhang, Shao-Qun Zhang |
On Discrete Presheaf Monads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 12(6), pp. 610, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Tobias Fritz, Fabio Gadducci, Paolo Perrone, Davide Trotta |
Weakly affine monads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.14049, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Cristina Matache, Sean K. Moss, Sam Staton, Ariadne Si Suo |
Denotational semantics for languages for inference: semirings, monads, and tensors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2312.16694, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Lawrence Dunn, Val Tannen, Steve Zdancewic |
Syntax Monads for the Working Formal Metatheorist. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2312.08897, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Younesse Kaddar, Sam Staton |
A model of stochastic memoization and name generation in probabilistic programming: categorical semantics via monads on presheaf categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Proceedings of the 39th Conference on the Mathematical Foundations of Programming Semantics, MFPS XXXIX, Indiana University, Bloomington, IN, USA, June 21-23, 2023, 2023, EpiSciences. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Rasmus Ejlers Møgelberg, Maaike Zwart |
What monads can and cannot do with a bit of extra time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.15919, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Jason Parker |
Strongly finitary monads and multi-sorted varieties enriched in cartesian closed concrete categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.04587, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Mustafa Demirci |
Partially ordered fuzzy power set monads on the category of L-sets and their associated categories of topological space objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 460, pp. 1-32, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Niels van der Weide |
The Formal Theory of Monads, Univalently. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 8th International Conference on Formal Structures for Computation and Deduction, FSCD 2023, July 3-6, 2023, Rome, Italy, pp. 6:1-6:23, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-277-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Lawrence Dunn, Val Tannen, Steve Zdancewic |
Tealeaves: Structured Monads for Generic First-Order Abstract Syntax Infrastructure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: 14th International Conference on Interactive Theorem Proving, ITP 2023, July 31 to August 4, 2023, Białystok, Poland, pp. 14:1-14:20, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-284-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Jirí Adámek, Matej Dostál, Jirí Velebil |
Strongly Finitary Monads for Varieties of Quantitative Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 10th Conference on Algebra and Coalgebra in Computer Science, CALCO 2023, June 19-21, 2023, Indiana University Bloomington, IN, USA, pp. 10:1-10:14, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-287-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Tobias Fritz, Fabio Gadducci, Paolo Perrone, Davide Trotta |
Weakly Markov Categories and Weakly Affine Monads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 10th Conference on Algebra and Coalgebra in Computer Science, CALCO 2023, June 19-21, 2023, Indiana University Bloomington, IN, USA, pp. 16:1-16:17, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-287-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Steven Keuchel, Sander Huyghebaert, Georgy Lukyanov, Dominique Devriese |
Verified symbolic execution with Kripke specification monads (and no meta-programming). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 6(ICFP), pp. 194-224, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Shin-ya Katsumata, Dylan McDermott, Tarmo Uustalu, Nicolas Wu |
Flexible presentations of graded monads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 6(ICFP), pp. 902-930, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Flavien Breuvart, Dylan McDermott, Tarmo Uustalu |
Canonical Gradings of Monads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACT ![In: Proceedings Fifth International Conference on Applied Category Theory, ACT 2022, Glasgow, United Kingdom, 18-22 July 2022., pp. 1-21, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Sean K. Moss, Paolo Perrone |
Probability monads with submonads of deterministic states - Extended version. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2204.07003, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Harsh Beohar, Chase Ford, Barbara König 0001, Stefan Milius, Lutz Schröder |
Graded Monads and Behavioural Equivalence Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2203.15467, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Tetsuya Sato 0001, Shin-ya Katsumata |
Divergences on Monads for Relational Program Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2206.05716, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Niels van der Weide |
The Formal Theory of Monads, Univalently. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2212.08515, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Aloïs Rosset, Helle Hvid Hansen, Jörg Endrullis |
Algebraic Presentation of Semifree Monads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2205.05392, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Swaraj Dash, Younesse Kaddar, Hugo Paquet, Sam Staton |
Affine Monads and Lazy Structures for Bayesian Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2212.07250, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | André Hirschowitz, Tom Hirschowitz, Ambroise Lafont |
Modules over monads and operational semantics (expanded version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 18(3), 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Aloïs Rosset, Helle Hvid Hansen, Jörg Endrullis |
Algebraic Presentation of Semifree Monads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMCS ![In: Coalgebraic Methods in Computer Science - 16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings, pp. 110-132, 2022, Springer, 978-3-031-10735-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Dylan McDermott, Tarmo Uustalu |
Flexibly Graded Monads and Graded Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPC ![In: Mathematics of Program Construction - 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings, pp. 102-128, 2022, Springer, 978-3-031-16911-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Paul Leger, Felipe Ruiz, Nicolás Sepúlveda, Ismael Figueroa |
Evolution of a haskell repository and its use of monads: an exploratory study of stackage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25 - 29, 2022, pp. 1475-1482, 2022, ACM, 978-1-4503-8713-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Sean K. Moss, Paolo Perrone |
Probability monads with submonads of deterministic states. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2 - 5, 2022, pp. 38:1-38:13, 2022, ACM, 978-1-4503-9351-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Chase Ford, Stefan Milius, Lutz Schröder, Harsh Beohar, Barbara König 0001 |
Graded Monads and Behavioural Equivalence Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2 - 5, 2022, pp. 61:1-61:13, 2022, ACM, 978-1-4503-9351-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Jirí Adámek |
Varieties of Quantitative Algebras and Their Monads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2 - 5, 2022, pp. 9:1-9:10, 2022, ACM, 978-1-4503-9351-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Dylan McDermott, Exequiel Rivas, Tarmo Uustalu |
Sweedler Theory of Monads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures - 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, pp. 428-448, 2022, Springer, 978-3-030-99252-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Jirí Mockor |
Applications of Monads in Semiring-Valued Fuzzy Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPMU (1) ![In: Information Processing and Management of Uncertainty in Knowledge-Based Systems - 19th International Conference, IPMU 2022, Milan, Italy, July 11-15, 2022, Proceedings, Part I, pp. 320-331, 2022, Springer, 978-3-031-08970-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Bohua Zhan, Yi Lv, Shuling Wang, Gehang Zhao, Jifeng Hao, Hong Ye, Bican Xia |
Compositional Verification of Interacting Systems Using Event Monads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITP ![In: 13th International Conference on Interactive Theorem Proving, ITP 2022, August 7-10, 2022, Haifa, Israel., pp. 33:1-33:21, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-252-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Carmen Constantin, Nuiok Dicaire, Chris Heunen |
Localisable Monads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 30th EACSL Annual Conference on Computer Science Logic, CSL 2022, February 14-19, 2022, Göttingen, Germany (Virtual Conference)., pp. 15:1-15:17, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-218-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Stephanie Feilitzsch |
Cyclic and duplicial objects in computer science: (co)algebras for (co)monads in monoidal categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
RDF |
|
18 | Lucas Silver, Steve Zdancewic |
Dijkstra monads forever: termination-sensitive specifications for interaction trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 5(POPL), pp. 1-28, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Jirí Rosický |
Metric monads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 31(5), pp. 535-552, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Tobias Fritz, Paolo Perrone, Sharwin Rezagholi |
Probability, valuations, hyperspace: Three monads on top and the support as a morphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 31(8), pp. 850-897, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Jirí Adámek, Chase Ford, Stefan Milius, Lutz Schröder |
Finitary monads on the category of posets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 31(7), pp. 799-821, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Swaraj Dash, Sam Staton |
Monads for Measurable Queries in Probabilistic Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, MFPS 2021, Hybrid: Salzburg, Austria and Online, 30th August - 2nd September, 2021., pp. 34-50, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Xiaodong Jia 0002, Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev |
Commutative Monads for Probabilistic Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2102.00510, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
18 | Carmen Constantin, Nuiok Dicaire, Chris Heunen |
Localisable Monads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2108.01756, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
18 | Ismael Figueroa, Paul Leger, Hiroaki Fukuda |
Which monads Haskell developers use: An exploratory study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 201, pp. 102523, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Chase Ford, Stefan Milius, Lutz Schröder |
Behavioural Preorders via Graded Monads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021, Rome, Italy, June 29 - July 2, 2021, pp. 1-13, 2021, IEEE, 978-1-6654-4895-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Xiaodong Jia 0002, Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev |
Commutative Monads for Probabilistic Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021, Rome, Italy, June 29 - July 2, 2021, pp. 1-14, 2021, IEEE, 978-1-6654-4895-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Alexandre Goy 0002, Daniela Petrisan, Marc Aiguier |
Powerset-Like Monads Weakly Distribute over Themselves in Toposes and Compact Hausdorff Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 48th International Colloquium on Automata, Languages, and Programming, ICALP 2021, July 12-16, 2021, Glasgow, Scotland (Virtual Conference)., pp. 132:1-132:14, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-195-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Chase Ford, Stefan Milius, Lutz Schröder |
Monads on Categories of Relational Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 9th Conference on Algebra and Coalgebra in Computer Science, CALCO 2021, August 31 to September 3, 2021, Salzburg, Austria., pp. 14:1-14:17, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-212-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Finnbar Keating, Michael B. Gale |
Graded monads and type-level programming for dependence analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haskell ![In: Haskell 2021: Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell, Virtual Event, Korea, August 26-27, 2021, pp. 27-40, 2021, ACM, 978-1-4503-8615-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Alexandre Goy 0002 |
On the compositionality of monads via weak distributive laws. (Compositionnalité des monades par lois de distributivité faibles). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2021 |
RDF |
|
18 | Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi |
Reduction monads and their signatures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 4(POPL), pp. 31:1-31:29, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Mai Gehrke, Daniela Petrisan, Luca Reggio |
Quantifiers on languages and codensity monads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 30(10), pp. 1054-1088, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Fei-Yue Wang 0001 |
Parallel Emergency: Social Renormalization via Monads and Computational Social Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Soc. Syst. ![In: IEEE Trans. Comput. Soc. Syst. 7(2), pp. 286-292, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Chase Ford, Stefan Milius, Lutz Schröder |
Behavioural Preorders via Graded Monads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2011.14339, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
18 | Louis Parlant, Jurriaan Rot, Alexandra Silva 0001, Bas Westerbaan |
Preservation of Equations by Monoidal Monads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2001.06348, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
18 | Matteo Mio, Valeria Vignudelli |
Monads and Quantitative Equational Theories for Nondeterminism and Probability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2005.07509, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
18 | Dusko Pavlovic, Dominic J. D. Hughes |
The nucleus of an adjunction and the Street monad on monads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2004.07353, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
18 | Dominic Orchard, Philip Wadler, Harley Eades III |
Unifying graded and parameterised monads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSFP@ETAPS ![In: Proceedings Eighth Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2020, Dublin, Ireland, 25th April 2020., pp. 18-38, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Kacper Topolnicki |
Monads and "do" notation in the Wolfram Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2005.09478, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
18 | André Hirschowitz, Tom Hirschowitz, Ambroise Lafont |
Modules over monads and operational semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2012.06530, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
18 | Jirí Mockor |
Fuzzy Type Relations and Transformation Operators Defined by Monads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Intell. Syst. ![In: Int. J. Comput. Intell. Syst. 13(1), pp. 1530-1538, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Shin-ya Katsumata, Exequiel Rivas, Tarmo Uustalu |
Interaction Laws of Monads and Comonads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Saarbrücken, Germany, July 8-11, 2020., pp. 604-618, 2020, ACM, 978-1-4503-7104-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
18 | André Hirschowitz, Tom Hirschowitz, Ambroise Lafont |
Modules over Monads and Operational Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 5th International Conference on Formal Structures for Computation and Deduction, FSCD 2020, June 29-July 6, 2020, Paris, France (Virtual Conference)., pp. 12:1-12:23, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-155-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Andrej Ivaskovic, Alan Mycroft, Dominic Orchard |
Data-Flow Analyses as Effects and Graded Monads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 5th International Conference on Formal Structures for Computation and Deduction, FSCD 2020, June 29-July 6, 2020, Paris, France (Virtual Conference)., pp. 15:1-15:23, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-155-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Louis Parlant, Jurriaan Rot, Alexandra Silva 0001, Bas Westerbaan |
Preservation of Equations by Monoidal Monads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, August 24-28, 2020, Prague, Czech Republic., pp. 77:1-77:14, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-159-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Ernie Manes |
Continuous Monads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Proceedings of the 36th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2020, Online, October 1, 2020, pp. 173-190, 2020, Elsevier. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Tobias Fritz, Paolo Perrone |
Monads, Partial Evaluations, and Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Proceedings of the 36th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2020, Online, October 1, 2020, pp. 129-148, 2020, Elsevier. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Matteo Mio, Valeria Vignudelli |
Monads and Quantitative Equational Theories for Nondeterminism and Probability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 31st International Conference on Concurrency Theory, CONCUR 2020, September 1-4, 2020, Vienna, Austria (Virtual Conference)., pp. 28:1-28:18, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-160-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Jirí Mockor |
Powerset Operators in Categories with Fuzzy Relations Defined by Monads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NAFIPS ![In: Fuzzy Information Processing 2020 - Proceedings of the 2020 Annual Conference of the North American Fuzzy Information Processing Society, NAFIPS 2020, Redmond, WA, USA, 20-22 August 2020, pp. 1-11, 2020, Springer, 978-3-030-81560-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Tom Hirschowitz |
Familial monads and structural operational semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 3(POPL), pp. 21:1-21:28, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Kenji Maillard, Danel Ahman, Robert Atkey, Guido Martínez, Catalin Hritcu, Exequiel Rivas, Éric Tanter |
Dijkstra monads for all. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 3(ICFP), pp. 104:1-104:29, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Keigo Imai, Jacques Garrigue |
Lightweight Linearly-typed Programming with Lenses and Monads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Process. ![In: J. Inf. Process. 27, pp. 431-444, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Lorenzo Luperi Baglini |
Nonstandard characterisations of tensor products and monads in the theory of ultrafilters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 65(3), pp. 347-369, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Thomas N. Reynolds, Adam M. Procter, William L. Harrison, Gerard Allwein |
The Mechanized Marriage of Effects and Monads with Applications to High-assurance Hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 18(1), pp. 6:1-6:26, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi |
Reduction Monads and Their Signatures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1911.06391, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
18 | Kenji Maillard, Danel Ahman, Robert Atkey, Guido Martínez, Catalin Hritcu, Exequiel Rivas, Éric Tanter |
Dijkstra Monads for All. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1903.01237, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
18 | Shin-ya Katsumata, Exequiel Rivas, Tarmo Uustalu |
Interaction laws of monads and comonads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1912.13477, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
18 | Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi |
Modular specification of monads through higher-order presentations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1903.00922, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
18 | Soichiro Fujii |
A 2-Categorical Study of Graded and Indexed Monads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1904.08083, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
18 | Tobias Fritz, Paolo Perrone, Sharwin Rezagholi |
Probability, valuations, hyperspace: Three monads on Top and the support as a morphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1910.03752, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
18 | H. Peter Gumm |
Connected monads weakly preserve products. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1909.02259, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
18 | Tom Hirschowitz |
Cellular Monads from Positive GSOS Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: Proceedings Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics, EXPRESS/SOS 2019, Amsterdam, The Netherlands, 26th August 2019., pp. 1-18, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Jirí Mockor |
Monads and a common framework for fuzzy type automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gen. Syst. ![In: Int. J. Gen. Syst. 48(4), pp. 406-442, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Benedikt Ahrens, Ralph Matthes, Anders Mörtberg |
From Signatures to Monads in UniMath. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 63(2), pp. 285-318, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Maciej Piróg, Piotr Polesiuk, Filip Sieczkowski |
Equational Theories and Monads from Polynomial Cayley Representations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures - 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, pp. 453-469, 2019, Springer, 978-3-030-17126-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Yu Zhang, Yongwang Zhao, David Sanán, Lei Qiao, Jinkun Zhang |
A Verified Specification of TLSF Memory Management Allocator Using State Monads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings, pp. 122-138, 2019, Springer, 978-3-030-35539-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Ulrich Dorsch, Stefan Milius, Lutz Schröder |
Graded Monads and Graded Logics for the Linear Time - Branching Time Spectrum. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 30th International Conference on Concurrency Theory, CONCUR 2019, August 27-30, 2019, Amsterdam, the Netherlands., pp. 36:1-36:16, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-121-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi |
Modular Specification of Monads Through Higher-Order Presentations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 4th International Conference on Formal Structures for Computation and Deduction, FSCD 2019, June 24-30, 2019, Dortmund, Germany., pp. 6:1-6:19, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-107-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Jirí Mockor |
Relational variants of categories of fuzzy sets defined by monads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUSFLAT Conf. ![In: Proceedings of the 11th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2019, Prague, Czech Republic, September 9-13, 2019, 2019, Atlantis Press, 978-94-6252-770-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Paul Blain Levy, Sergey Goncharov 0001 |
Coinductive Resumption Monads: Guarded Iterative and Guarded Elgot. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019, June 3-6, 2019, London, United Kingdom., pp. 13:1-13:17, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-120-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Andrew K. Hirsch, Ross Tate |
Strict and lazy semantics for effects: layering monads and comonads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 2(ICFP), pp. 88:1-88:30, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Bart Jacobs 0001 |
From probability monads to commutative effectuses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 94, pp. 200-237, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Tobias Fritz, Paolo Perrone |
Bimonoidal Structure of Probability Monads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2018, Dalhousie University, Halifax, Canada, June 6-9, 2018, pp. 121-149, 2018, Elsevier. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | George Janelidze |
A Note on Colebunders-Lowen-Rosiers Monads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 26(5), pp. 1041-1046, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Jirí Adámek, Lurdes Sousa |
A Formula for Codensity Monads and Density Comonads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 26(5), pp. 855-872, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Shilong Zhang, Li Guo 0003, William F. Keigher |
Extensions of Operators, Liftings of Monads, and Distributive Laws. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 26(4), pp. 747-765, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | George Janelidze, Ross Street |
Correction to: Infinitary Addition, Real Numbers, and Taut Monads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 26(5), pp. 1065, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Marcelo Aguiar, Mariana Haim, Ignacio López Franco |
Monads on Higher Monoidal Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 26(3), pp. 413-458, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | George Janelidze, Ross Street |
Infinitary Addition, Real Numbers, and Taut Monads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 26(5), pp. 1047-1064, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Rory B. B. Lucyshyn-Wright |
Commutants for Enriched Algebraic Theories and Monads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 26(3), pp. 559-596, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Tomas Petricek 0001 |
What we talk about when we talk about monads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Art Sci. Eng. Program. ![In: Art Sci. Eng. Program. 2(3), pp. 12, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Tomas Petricek 0001 |
What we talk about when we talk about monads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1803.10195, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|