Search results for "monads"

Hits ?▲	Authors	Title	Venue	Year	Link
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