Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
18 | Gao Zhang, Shao-Qun Zhang |
Lax Extensions of Conical I-Semifilter Monads. |
Axioms |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Gao Zhang, Shao-Qun Zhang |
On Discrete Presheaf Monads. |
Axioms |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Tobias Fritz, Fabio Gadducci, Paolo Perrone, Davide Trotta |
Weakly affine monads. |
CoRR |
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. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Lawrence Dunn, Val Tannen, Steve Zdancewic |
Syntax Monads for the Working Formal Metatheorist. |
CoRR |
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. |
MFPS |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Rasmus Ejlers Møgelberg, Maaike Zwart |
What monads can and cannot do with a bit of extra time. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Jason Parker |
Strongly finitary monads and multi-sorted varieties enriched in cartesian closed concrete categories. |
CoRR |
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. |
Fuzzy Sets Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Niels van der Weide |
The Formal Theory of Monads, Univalently. |
FSCD |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Lawrence Dunn, Val Tannen, Steve Zdancewic |
Tealeaves: Structured Monads for Generic First-Order Abstract Syntax Infrastructure. |
ITP |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Jirí Adámek, Matej Dostál, Jirí Velebil |
Strongly Finitary Monads for Varieties of Quantitative Algebras. |
CALCO |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Tobias Fritz, Fabio Gadducci, Paolo Perrone, Davide Trotta |
Weakly Markov Categories and Weakly Affine Monads. |
CALCO |
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). |
Proc. ACM Program. Lang. |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Shin-ya Katsumata, Dylan McDermott, Tarmo Uustalu, Nicolas Wu |
Flexible presentations of graded monads. |
Proc. ACM Program. Lang. |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Flavien Breuvart, Dylan McDermott, Tarmo Uustalu |
Canonical Gradings of Monads. |
ACT |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Sean K. Moss, Paolo Perrone |
Probability monads with submonads of deterministic states - Extended version. |
CoRR |
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. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Tetsuya Sato 0001, Shin-ya Katsumata |
Divergences on Monads for Relational Program Logics. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Niels van der Weide |
The Formal Theory of Monads, Univalently. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Aloïs Rosset, Helle Hvid Hansen, Jörg Endrullis |
Algebraic Presentation of Semifree Monads. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Swaraj Dash, Younesse Kaddar, Hugo Paquet, Sam Staton |
Affine Monads and Lazy Structures for Bayesian Programming. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
18 | André Hirschowitz, Tom Hirschowitz, Ambroise Lafont |
Modules over monads and operational semantics (expanded version). |
Log. Methods Comput. Sci. |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Aloïs Rosset, Helle Hvid Hansen, Jörg Endrullis |
Algebraic Presentation of Semifree Monads. |
CMCS |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Dylan McDermott, Tarmo Uustalu |
Flexibly Graded Monads and Graded Algebras. |
MPC |
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. |
SAC |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Sean K. Moss, Paolo Perrone |
Probability monads with submonads of deterministic states. |
LICS |
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. |
LICS |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Jirí Adámek |
Varieties of Quantitative Algebras and Their Monads. |
LICS |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Dylan McDermott, Exequiel Rivas, Tarmo Uustalu |
Sweedler Theory of Monads. |
FoSSaCS |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Jirí Mockor |
Applications of Monads in Semiring-Valued Fuzzy Sets. |
IPMU (1) |
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. |
ITP |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Carmen Constantin, Nuiok Dicaire, Chris Heunen |
Localisable Monads. |
CSL |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Stephanie Feilitzsch |
Cyclic and duplicial objects in computer science: (co)algebras for (co)monads in monoidal categories. |
|
2022 |
RDF |
|
18 | Lucas Silver, Steve Zdancewic |
Dijkstra monads forever: termination-sensitive specifications for interaction trees. |
Proc. ACM Program. Lang. |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Jirí Rosický |
Metric monads. |
Math. Struct. Comput. Sci. |
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. |
Math. Struct. Comput. Sci. |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Jirí Adámek, Chase Ford, Stefan Milius, Lutz Schröder |
Finitary monads on the category of posets. |
Math. Struct. Comput. Sci. |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Swaraj Dash, Sam Staton |
Monads for Measurable Queries in Probabilistic Databases. |
MFPS |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Xiaodong Jia 0002, Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev |
Commutative Monads for Probabilistic Programming Languages. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
18 | Carmen Constantin, Nuiok Dicaire, Chris Heunen |
Localisable Monads. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
18 | Ismael Figueroa, Paul Leger, Hiroaki Fukuda |
Which monads Haskell developers use: An exploratory study. |
Sci. Comput. Program. |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Chase Ford, Stefan Milius, Lutz Schröder |
Behavioural Preorders via Graded Monads. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Xiaodong Jia 0002, Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev |
Commutative Monads for Probabilistic Programming Languages. |
LICS |
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. |
ICALP |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Chase Ford, Stefan Milius, Lutz Schröder |
Monads on Categories of Relational Structures. |
CALCO |
2021 |
DBLP DOI BibTeX RDF |
|
18 | Finnbar Keating, Michael B. Gale |
Graded monads and type-level programming for dependence analysis. |
Haskell |
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). |
|
2021 |
RDF |
|
18 | Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi |
Reduction monads and their signatures. |
Proc. ACM Program. Lang. |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Mai Gehrke, Daniela Petrisan, Luca Reggio |
Quantifiers on languages and codensity monads. |
Math. Struct. Comput. Sci. |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Fei-Yue Wang 0001 |
Parallel Emergency: Social Renormalization via Monads and Computational Social Systems. |
IEEE Trans. Comput. Soc. Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Chase Ford, Stefan Milius, Lutz Schröder |
Behavioural Preorders via Graded Monads. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
18 | Louis Parlant, Jurriaan Rot, Alexandra Silva 0001, Bas Westerbaan |
Preservation of Equations by Monoidal Monads. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
18 | Matteo Mio, Valeria Vignudelli |
Monads and Quantitative Equational Theories for Nondeterminism and Probability. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
18 | Dusko Pavlovic, Dominic J. D. Hughes |
The nucleus of an adjunction and the Street monad on monads. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
18 | Dominic Orchard, Philip Wadler, Harley Eades III |
Unifying graded and parameterised monads. |
MSFP@ETAPS |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Kacper Topolnicki |
Monads and "do" notation in the Wolfram Language. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
18 | André Hirschowitz, Tom Hirschowitz, Ambroise Lafont |
Modules over monads and operational semantics. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
18 | Jirí Mockor |
Fuzzy Type Relations and Transformation Operators Defined by Monads. |
Int. J. Comput. Intell. Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Shin-ya Katsumata, Exequiel Rivas, Tarmo Uustalu |
Interaction Laws of Monads and Comonads. |
LICS |
2020 |
DBLP DOI BibTeX RDF |
|
18 | André Hirschowitz, Tom Hirschowitz, Ambroise Lafont |
Modules over Monads and Operational Semantics. |
FSCD |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Andrej Ivaskovic, Alan Mycroft, Dominic Orchard |
Data-Flow Analyses as Effects and Graded Monads. |
FSCD |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Louis Parlant, Jurriaan Rot, Alexandra Silva 0001, Bas Westerbaan |
Preservation of Equations by Monoidal Monads. |
MFCS |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Ernie Manes |
Continuous Monads. |
MFPS |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Tobias Fritz, Paolo Perrone |
Monads, Partial Evaluations, and Rewriting. |
MFPS |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Matteo Mio, Valeria Vignudelli |
Monads and Quantitative Equational Theories for Nondeterminism and Probability. |
CONCUR |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Jirí Mockor |
Powerset Operators in Categories with Fuzzy Relations Defined by Monads. |
NAFIPS |
2020 |
DBLP DOI BibTeX RDF |
|
18 | Tom Hirschowitz |
Familial monads and structural operational semantics. |
Proc. ACM Program. Lang. |
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. |
Proc. ACM Program. Lang. |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Keigo Imai, Jacques Garrigue |
Lightweight Linearly-typed Programming with Lenses and Monads. |
J. Inf. Process. |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Lorenzo Luperi Baglini |
Nonstandard characterisations of tensor products and monads in the theory of ultrafilters. |
Math. Log. Q. |
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. |
ACM Trans. Embed. Comput. Syst. |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi |
Reduction Monads and Their Signatures. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
18 | Kenji Maillard, Danel Ahman, Robert Atkey, Guido Martínez, Catalin Hritcu, Exequiel Rivas, Éric Tanter |
Dijkstra Monads for All. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
18 | Shin-ya Katsumata, Exequiel Rivas, Tarmo Uustalu |
Interaction laws of monads and comonads. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
18 | Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi |
Modular specification of monads through higher-order presentations. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
18 | Soichiro Fujii |
A 2-Categorical Study of Graded and Indexed Monads. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
18 | Tobias Fritz, Paolo Perrone, Sharwin Rezagholi |
Probability, valuations, hyperspace: Three monads on Top and the support as a morphism. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
18 | H. Peter Gumm |
Connected monads weakly preserve products. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
18 | Tom Hirschowitz |
Cellular Monads from Positive GSOS Specifications. |
EXPRESS/SOS |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Jirí Mockor |
Monads and a common framework for fuzzy type automata. |
Int. J. Gen. Syst. |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Benedikt Ahrens, Ralph Matthes, Anders Mörtberg |
From Signatures to Monads in UniMath. |
J. Autom. Reason. |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Maciej Piróg, Piotr Polesiuk, Filip Sieczkowski |
Equational Theories and Monads from Polynomial Cayley Representations. |
FoSSaCS |
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. |
SETTA |
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. |
CONCUR |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi |
Modular Specification of Monads Through Higher-Order Presentations. |
FSCD |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Jirí Mockor |
Relational variants of categories of fuzzy sets defined by monads. |
EUSFLAT Conf. |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Paul Blain Levy, Sergey Goncharov 0001 |
Coinductive Resumption Monads: Guarded Iterative and Guarded Elgot. |
CALCO |
2019 |
DBLP DOI BibTeX RDF |
|
18 | Andrew K. Hirsch, Ross Tate |
Strict and lazy semantics for effects: layering monads and comonads. |
Proc. ACM Program. Lang. |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Bart Jacobs 0001 |
From probability monads to commutative effectuses. |
J. Log. Algebraic Methods Program. |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Tobias Fritz, Paolo Perrone |
Bimonoidal Structure of Probability Monads. |
MFPS |
2018 |
DBLP DOI BibTeX RDF |
|
18 | George Janelidze |
A Note on Colebunders-Lowen-Rosiers Monads. |
Appl. Categorical Struct. |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Jirí Adámek, Lurdes Sousa |
A Formula for Codensity Monads and Density Comonads. |
Appl. Categorical Struct. |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Shilong Zhang, Li Guo 0003, William F. Keigher |
Extensions of Operators, Liftings of Monads, and Distributive Laws. |
Appl. Categorical Struct. |
2018 |
DBLP DOI BibTeX RDF |
|
18 | George Janelidze, Ross Street |
Correction to: Infinitary Addition, Real Numbers, and Taut Monads. |
Appl. Categorical Struct. |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Marcelo Aguiar, Mariana Haim, Ignacio López Franco |
Monads on Higher Monoidal Categories. |
Appl. Categorical Struct. |
2018 |
DBLP DOI BibTeX RDF |
|
18 | George Janelidze, Ross Street |
Infinitary Addition, Real Numbers, and Taut Monads. |
Appl. Categorical Struct. |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Rory B. B. Lucyshyn-Wright |
Commutants for Enriched Algebraic Theories and Monads. |
Appl. Categorical Struct. |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Tomas Petricek 0001 |
What we talk about when we talk about monads. |
Art Sci. Eng. Program. |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Tomas Petricek 0001 |
What we talk about when we talk about monads. |
CoRR |
2018 |
DBLP BibTeX RDF |
|