Search results for "monads"

Hits ?▲	Authors	Title	Venue	Year	Link
18	Mikolaj Bojanczyk	Two monads for graphs.	CoRR	2018	DBLP BibTeX RDF
18	Exequiel Rivas	Relating Idioms, Arrows and Monads from Monoidal Adjunctions.	MSFP@FSCD	2018	DBLP DOI BibTeX RDF
18	Ulrich Dorsch, Stefan Milius, Lutz Schröder	Graded Monads for the Linear Time - Branching Time Spectrum.	CoRR	2018	DBLP BibTeX RDF
18	Shin-ya Katsumata, Tetsuya Sato 0001, Tarmo Uustalu	Codensity Lifting of Monads and its Dual.	CoRR	2018	DBLP BibTeX RDF
18	Richard Garner	Hypernormalisation, linear exponential monads and the Giry tricocycloid.	CoRR	2018	DBLP BibTeX RDF
18	Tobias Fritz, Paolo Perrone	Monads, partial evaluations, and rewriting.	CoRR	2018	DBLP BibTeX RDF
18	Tobias Fritz, Paolo Perrone	Bimonoidal Structure of Probability Monads.	CoRR	2018	DBLP BibTeX RDF
18	Shin-ya Katsumata, Tetsuya Sato 0001, Tarmo Uustalu	Codensity Lifting of Monads and its Dual.	Log. Methods Comput. Sci.	2018	DBLP DOI BibTeX RDF
18	Richard Garner, Tom Hirschowitz	Shapely monads and analytic functors.	J. Log. Comput.	2018	DBLP DOI BibTeX RDF
18	Fredrik Dahlqvist, Louis Parlant, Alexandra Silva 0001	Layer by Layer - Combining Monads.	ICTAC	2018	DBLP DOI BibTeX RDF
18	Timothy A. V. Teatro, J. Mikael Eklund, Ruth Milman	Maybe and Either Monads in Plain C++ 17.	CCECE	2018	DBLP DOI BibTeX RDF
18	Jan Bracker	Unified notions of generalised monads and applicative functors.		2018	RDF
18	Justyna Grudzinska, Marek W. Zawadowski	Scope ambiguities, monads and strengths.	J. Lang. Model.	2017	DBLP DOI BibTeX RDF
18	Adriana Balan	On Hopf Adjunctions, Hopf Monads and Frobenius-Type Properties.	Appl. Categorical Struct.	2017	DBLP DOI BibTeX RDF
18	Taras Radul	Absolute Extensors and Binary Monads.	Appl. Categorical Struct.	2017	DBLP DOI BibTeX RDF
18	Oleg Kiselyov	Effects Without Monads: Non-determinism - Back to the Meta Language.	ML/OCaml	2017	DBLP DOI BibTeX RDF
18	Fredrik Dahlqvist, Louis Parlant, Alexandra Silva 0001	Layer by layer - Combining Monads.	CoRR	2017	DBLP BibTeX RDF
18	Mai Gehrke, Daniela Petrisan, Luca Reggio	Quantifiers on languages and codensity monads.	CoRR	2017	DBLP BibTeX RDF
18	Furio Honsell, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto	LLFP: a logical framework for modeling external evidence, side conditions, and proof irrelevance using monads.	CoRR	2017	DBLP BibTeX RDF
18	Ugo Dal Lago, Francesco Gavazzo, Paul Blain Levy	Effectful Applicative Bisimilarity: Monads, Relators, and Howe's Method (Long Version).	CoRR	2017	DBLP BibTeX RDF
18	Furio Honsell, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto	LLF: a logical framework for modeling external evidence, side conditions, and proof irrelevance using monads.	Log. Methods Comput. Sci.	2017	DBLP DOI BibTeX RDF
18	Decheng Miao, Jianqing Xi, Jindian Su	形式语言基于Monads的语义计算模型 (Semantics Computational Model of Formal Languages Based on Monads).	计算机科学	2017	DBLP DOI BibTeX RDF
18	Jiri Mockor	Categories of fuzzy type automata in monads.	FUZZ-IEEE	2017	DBLP DOI BibTeX RDF
18	Mai Gehrke, Daniela Petrisan, Luca Reggio	Quantifiers on languages and codensity monads.	LICS	2017	DBLP DOI BibTeX RDF
18	Ugo Dal Lago, Francesco Gavazzo, Paul Blain Levy	Effectful applicative bisimilarity: Monads, relators, and Howe's method.	LICS	2017	DBLP DOI BibTeX RDF
18	Danel Ahman, Catalin Hritcu, Kenji Maillard, Guido Martínez, Gordon D. Plotkin, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy	Dijkstra monads for free.	POPL	2017	DBLP DOI BibTeX RDF
18	Ismael Figueroa	A preliminary assessment of how monads are used in Haskell.	SBLP	2017	DBLP DOI BibTeX RDF
18	Tarmo Uustalu, Niccolò Veltri	Partiality and Container Monads.	APLAS	2017	DBLP DOI BibTeX RDF
18	Daan Leijen	Implementing Algebraic Effects in C - "Monads for Free in C".	APLAS	2017	DBLP DOI BibTeX RDF
18	Tarmo Uustalu	Container Combinatorics: Monads and Lax Monoidal Functors.	TTCS	2017	DBLP DOI BibTeX RDF
18	Justin Dawson, Mark Grebe, Andy Gill	Composable network stacks and remote monads.	Haskell	2017	DBLP DOI BibTeX RDF
18	Sergey Goncharov 0001, Stefan Milius, Christoph Rauch	Complete Elgot Monads and Coalgebraic Resumptions.	MFPS	2016	DBLP DOI BibTeX RDF
18	Bart Jacobs 0001	Effectuses from Monads.	MFPS	2016	DBLP DOI BibTeX RDF
18	Neil Ghani, Peter G. Hancock	Containers, monads and induction recursion.	Math. Struct. Comput. Sci.	2016	DBLP DOI BibTeX RDF
18	Benedikt Ahrens	Modules over relative monads for syntax and semantics.	Math. Struct. Comput. Sci.	2016	DBLP DOI BibTeX RDF
18	Shilong Zhang, Li Guo 0003, William F. Keigher	Monads and distributive laws for Rota-Baxter and differential algebras.	Adv. Appl. Math.	2016	DBLP DOI BibTeX RDF
18	Danel Ahman, Catalin Hritcu, Guido Martínez, Gordon D. Plotkin, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy	Dijkstra Monads for Free.	CoRR	2016	DBLP BibTeX RDF
18	Sergey Goncharov 0001, Stefan Milius, Christoph Rauch	Complete Elgot Monads and Coalgebraic Resumptions.	CoRR	2016	DBLP BibTeX RDF
18	Benedikt Ahrens, Ralph Matthes, Anders Mörtberg	From signatures to monads in UniMath.	CoRR	2016	DBLP BibTeX RDF
18	Niki Vazou, Daan Leijen	From Monads to Effects and Back.	PADL	2016	DBLP DOI BibTeX RDF
18	Bart Jacobs 0001	Affine Monads and Side-Effect-Freeness.	CMCS	2016	DBLP DOI BibTeX RDF
18	Thomas Schmitz 0001, Dustin Rhodes, Thomas H. Austin, Kenneth L. Knowles, Cormac Flanagan	Faceted Dynamic Information Flow via Control and Data Monads.	POST	2016	DBLP DOI BibTeX RDF
18	Liang-Ting Chen 0001, Jirí Adámek, Stefan Milius, Henning Urbat	Profinite Monads, Profinite Equations, and Reiterman's Theorem.	FoSSaCS	2016	DBLP DOI BibTeX RDF
18	Soichiro Fujii, Shin-ya Katsumata, Paul-André Melliès	Towards a Formal Theory of Graded Monads.	FoSSaCS	2016	DBLP DOI BibTeX RDF
18	Christoph Höger	Modeling with monads: extensible modeling semantics as syntactic sugar.	EOOLT	2016	DBLP DOI BibTeX RDF
18	Maciej Piróg, Nicolas Wu	String diagrams for free monads (functional pearl).	ICFP	2016	DBLP DOI BibTeX RDF
18	Stanislaw Szawiel, Marek W. Zawadowski	Monads of Regular Theories.	Appl. Categorical Struct.	2015	DBLP DOI BibTeX RDF
18	Bachuki Mesablishvili, Robert Wisbauer	Azumaya Monads and Comonads.	Axioms	2015	DBLP DOI BibTeX RDF
18	Ichiro Hasuo	Generic weakest precondition semantics from monads enriched with order.	Theor. Comput. Sci.	2015	DBLP DOI BibTeX RDF
18	Bart Jacobs 0001	Dijkstra and Hoare monads in monadic computation.	Theor. Comput. Sci.	2015	DBLP DOI BibTeX RDF
18	Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens	Notions of bidirectional computation and entangled state monads.	CoRR	2015	DBLP BibTeX RDF
18	Richard Garner, Tom Hirschowitz	Shapely monads and analytic functors.	CoRR	2015	DBLP BibTeX RDF
18	Mikolaj Bojanczyk	Recognisable languages over monads.	CoRR	2015	DBLP BibTeX RDF
18	Liang-Ting Chen 0001, Jirí Adámek, Stefan Milius, Henning Urbat	Profinite Monads, Profinite Equations and Reiterman's Theorem.	CoRR	2015	DBLP BibTeX RDF
18	Rory B. B. Lucyshyn-Wright	Enriched algebraic theories and monads for a system of arities.	CoRR	2015	DBLP BibTeX RDF
18	Thorsten Altenkirch, James Chapman 0001, Tarmo Uustalu	Monads need not be endofunctors.	Log. Methods Comput. Sci.	2015	DBLP DOI BibTeX RDF
18	Tomasz Brengos	Weak bisimulation for coalgebras over order enriched monads.	Log. Methods Comput. Sci.	2015	DBLP DOI BibTeX RDF
18	Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens	Notions of Bidirectional Computation and Entangled State Monads.	MPC	2015	DBLP DOI BibTeX RDF
18	Mikolaj Bojanczyk	Recognisable Languages over Monads.	DLT	2015	DBLP DOI BibTeX RDF
18	Shin-ya Katsumata, Tetsuya Sato 0001	Codensity Liftings of Monads.	CALCO	2015	DBLP DOI BibTeX RDF
18	Stefan Milius, Dirk Pattinson, Lutz Schröder	Generic Trace Semantics and Graded Monads.	CALCO	2015	DBLP DOI BibTeX RDF
18	Maciej Piróg, Nicolas Wu, Jeremy Gibbons	Modules Over Monads and Their Algebras.	CALCO	2015	DBLP DOI BibTeX RDF
18	Adam Scibior, Zoubin Ghahramani, Andrew D. Gordon 0001	Practical probabilistic programming with monads.	Haskell	2015	DBLP DOI BibTeX RDF
18	Oleg Kiselyov, Hiromi Ishii	Freer monads, more extensible effects.	Haskell	2015	DBLP DOI BibTeX RDF
18	Stanislaw Szawiel, Marek W. Zawadowski	Theories of analytic monads.	Math. Struct. Comput. Sci.	2014	DBLP DOI BibTeX RDF
18	Alexander V. Zhozhikashvili	Monads for the formalization of a pattern matching procedure.	Program. Comput. Softw.	2014	DBLP DOI BibTeX RDF
18	Thorsten Altenkirch, James Chapman 0001, Tarmo Uustalu	Relative Monads Formalised.	J. Formaliz. Reason.	2014	DBLP DOI BibTeX RDF
18	Jirí Adámek, Nathan J. Bowler, Paul Blain Levy, Stefan Milius	Coproducts of Monads on Set.	CoRR	2014	DBLP BibTeX RDF
18	Sergey Goncharov 0001, Dirk Pattinson	Coalgebraic Weak Bisimulation from Recursive Equations over Monads.	CoRR	2014	DBLP BibTeX RDF
18	Dominic A. Orchard, Tomas Petricek 0001, Alan Mycroft	The semantic marriage of monads and effects.	CoRR	2014	DBLP BibTeX RDF
18	Jirí Adámek	Colimits of Monads.	CoRR	2014	DBLP BibTeX RDF
18	Christian Sternagel, René Thiemann	Certification Monads.	Arch. Formal Proofs	2014	DBLP BibTeX RDF
18	Ichiro Hasuo	Generic Weakest Precondition Semantics from Monads Enriched with Order.	CMCS	2014	DBLP DOI BibTeX RDF
18	Bart Jacobs 0001	Dijkstra Monads in Monadic Computation.	CMCS	2014	DBLP DOI BibTeX RDF
18	Shin-ya Katsumata	Parametric effect monads and semantics of effect systems.	POPL	2014	DBLP DOI BibTeX RDF
18	Sergey Goncharov 0001, Dirk Pattinson	Coalgebraic Weak Bisimulation from Recursive Equations over Monads.	ICALP (2)	2014	DBLP DOI BibTeX RDF
18	Furio Honsell, Luigi Liquori, Ivan Scagnetto	L ax F: Side Conditions and External Evidence as Monads.	MFCS (1)	2014	DBLP DOI BibTeX RDF
18	Gianluca Giorgolo, Ash Asudeh	Monads for composing categorical and probabilistic meanings.	ISAIM	2014	DBLP BibTeX RDF
18	James Cheney, James McKinna, Perdita Stevens, Jeremy Gibbons, Faris Abou-Saleh	Entangled State Monads.	EDBT/ICDT Workshops	2014	DBLP BibTeX RDF
18	Maciej Piróg, Jeremy Gibbons	Monads for Behaviour.	MFPS	2013	DBLP DOI BibTeX RDF
18	Weng Kin Ho	Characterising E-projectives via Co-monads.	ISDT	2013	DBLP DOI BibTeX RDF
18	Christopher F. Townsend	Representing Geometric Morphisms Using Power Locale Monads.	Appl. Categorical Struct.	2013	DBLP DOI BibTeX RDF
18	Giovanni Birolo	Interactive Realizability, Monads and Witness Extraction	CoRR	2013	DBLP BibTeX RDF
18	Ábel Sinkovics, Zoltán Porkoláb	Implementing monads for C++ template metaprograms.	Sci. Comput. Program.	2013	DBLP DOI BibTeX RDF
18	Jirí Adámek, Stefan Milius, Jirí Velebil	How iterative reflections of monads are constructed.	Inf. Comput.	2013	DBLP DOI BibTeX RDF
18	Dion Coumans, Bart Jacobs 0001	Scalars, Monads, and Categories.	Quantum Physics and Linguistics	2013	DBLP DOI BibTeX RDF
18	Shin-ya Katsumata, Tetsuya Sato 0001	Preorders on Monads and Coalgebraic Simulations.	FoSSaCS	2013	DBLP DOI BibTeX RDF
18	Danel Ahman, Tarmo Uustalu	Update Monads: Cointerpreting Directed Containers.	TYPES	2013	DBLP DOI BibTeX RDF
18	Jan Dzik, Nick Palladinos, Konstantinos Rontogiannis, Eirik Tsarpalis, Nikolaos Vathis	MBrace: cloud computing with monads.	PLOS@SOSP	2013	DBLP DOI BibTeX RDF
18	Ismael Figueroa, Nicolas Tabareau, Éric Tanter	Taming aspects with monads and membranes.	FOAL	2013	DBLP DOI BibTeX RDF
18	Ismael Figueroa	Towards control of aspect interference using membranes and monads.	AOSD (Companion)	2013	DBLP DOI BibTeX RDF
18	A. Barbara Ainsworth, Chris Avram, Judy Sheard	The Relevance of Computing Research History - The Monads-PC: A Case Study.	HC	2013	DBLP DOI BibTeX RDF
18	Jerônimo da Cunha Ramos, André Rauber Du Bois, Maurício Lima Pilla	A Domain Specific Language based on Monads for Distributed Transactional Memory in Java.	WEIT	2013	DBLP DOI BibTeX RDF
18	Oleh R. Nykyforchyn	Adjoints and Monads Related to Compact Lattices and Compact Lawson Idempotent Semimodules.	Order	2012	DBLP DOI BibTeX RDF
18	Mike Behrisch, Sebastian Kerkhoff, John Power	Category Theoretic Understandings of Universal Algebra and its Dual: Monads and Lawvere Theories, Comonads and What?	MFPS	2012	DBLP DOI BibTeX RDF
18	Jirí Adámek, Stefan Milius, Nathan J. Bowler, Paul Blain Levy	Coproducts of Monads on Set.	LICS	2012	DBLP DOI BibTeX RDF
18	Eugen Jiresch, Bernhard Gramlich	Realizing Monads in Interaction Nets via Generic Typed Rules.	TAMC	2012	DBLP DOI BibTeX RDF
18	Jeremy Gibbons	Unifying Theories of Programming with Monads.	UTP	2012	DBLP DOI BibTeX RDF
18	Ingo Battenfeld, Matthias Schröder 0001	Observationally-induced Effect Monads: Upper and Lower Powerspace Constructions.	MFPS	2011	DBLP DOI BibTeX RDF
18	Jirí Velebil, Alexander Kurz 0001	Equational presentations of functors and monads.	Math. Struct. Comput. Sci.	2011	DBLP DOI BibTeX RDF