Search results for "monads"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Taras Radul	Convexities Generated by L-Monads.	Appl. Categorical Struct.	2011	DBLP DOI BibTeX RDF
18	Bart Jacobs 0001	Probabilities, distribution monads, and convex categories.	Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
18	Jirí Adámek, Stefan Milius, Jirí Velebil	On second-order iterative monads.	Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
18	Charles Grellois	Algebraic theories, monads, and arities.	CoRR	2011	DBLP BibTeX RDF
18	Zoran Majkic	Data Base Mappings and Monads: (Co)Induction	CoRR	2011	DBLP BibTeX RDF
18	Michael W. Mislove	Probabilistic Monads, Domains and Classical Information	DCM	2011	DBLP DOI BibTeX RDF
18	Benedikt Ahrens	Modules over relative monads for syntax and semantics	CoRR	2011	DBLP BibTeX RDF
18	Jacques Carette, Oleg Kiselyov	Multi-stage programming with functors and monads: Eliminating abstraction overhead from generic code.	Sci. Comput. Program.	2011	DBLP DOI BibTeX RDF
18	Peter D. Mosses	VDM semantics of programming languages: combinators and monads.	Formal Aspects Comput.	2011	DBLP DOI BibTeX RDF
18	Tom Schrijvers, Bruno C. d. S. Oliveira	Monads, zippers and views: virtualizing the monad stack.	ICFP	2011	DBLP DOI BibTeX RDF
18	Jirí Adámek, Mahdieh Haddadi, Stefan Milius	From Corecursive Algebras to Corecursive Monads.	CALCO	2011	DBLP DOI BibTeX RDF
18	Tomas Petricek 0001, Alan Mycroft, Don Syme	Extending monads with pattern matching.	Haskell	2011	DBLP DOI BibTeX RDF
18	Jirí Adámek, Stefan Milius, Jirí Velebil	Recursive Program Schemes and Context-Free Monads.	CMCS@ETAPS	2010	DBLP DOI BibTeX RDF
18	Jirí Adámek, Stefan Milius, Jirí Velebil	Iterative reflections of monads.	Math. Struct. Comput. Sci.	2010	DBLP DOI BibTeX RDF
18	Kosta Dosen, Zoran Petric	Coherence for monoidal monads and comonads.	Math. Struct. Comput. Sci.	2010	DBLP DOI BibTeX RDF
18	Stefano Berardi, Ugo de'Liguoro	Interactive Realizers and Monads	CoRR	2010	DBLP BibTeX RDF
18	Jirí Adámek, Stefan Milius, Jirí Velebil	Equational properties of iterative monads.	Inf. Comput.	2010	DBLP DOI BibTeX RDF
18	André Hirschowitz, Marco Maggesi	Modules over monads and initial semantics.	Inf. Comput.	2010	DBLP DOI BibTeX RDF
18	Thorsten Altenkirch, James Chapman 0001, Tarmo Uustalu	Monads Need Not Be Endofunctors.	FoSSaCS	2010	DBLP DOI BibTeX RDF
18	Kazuyuki Asada	Arrows Are Strong Monads.	MSFP@ICFP	2010	DBLP DOI BibTeX RDF
18	Mark Snyder, Perry Alexander	Monad Factory: Type-Indexed Monads.	Trends in Functional Programming	2010	DBLP DOI BibTeX RDF
18	Sergey Goncharov 0001	Kleene monads.		2010	RDF
18	Pierre Hyvernat	Predicate Transformers, (co)Monads and Resolutions	CoRR	2009	DBLP BibTeX RDF
18	Patrik Eklund, Robert Helgesson	Composing Partially Ordered Monads.	RelMiCS	2009	DBLP DOI BibTeX RDF	partially ordered monad, Kleene algebra
18	Sam Lindley, Philip Wadler, Jeremy Yallop	Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous.	MSFP@ICALP	2008	DBLP DOI BibTeX RDF
18	Mark Hopkins	The Algebraic Approach II: Dioids, Quantales and Monads.	RelMiCS	2008	DBLP DOI BibTeX RDF	Kleene, Monad, Category, Ideal, Semiring, Adjunction, Quantale, Dioid
18	David A. Cock, Gerwin Klein, Thomas Sewell	Secure Microkernels, State Monads and Scalable Refinement.	TPHOLs	2008	DBLP DOI BibTeX RDF
18	Daisuke Bekki	Monads and Meta-lambda Calculus.	JSAI	2008	DBLP DOI BibTeX RDF
18	Neil C. C. Brown	Communicating Haskell Processes: Composable Explicit Concurrency using Monads.	CPA	2008	DBLP DOI BibTeX RDF
18	Martin Hyland, John Power	The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads.	Computation, Meaning, and Logic	2007	DBLP DOI BibTeX RDF
18	Ernie Manes	Taut Monads, Dynamic Logic and Determinism.	MFPS	2007	DBLP DOI BibTeX RDF
18	Patrik Eklund, Maria A. Galán, Jesús Medina 0001, Manuel Ojeda-Aciego, Agustín Valverde	Powersets of terms and composite monads.	Fuzzy Sets Syst.	2007	DBLP DOI BibTeX RDF
18	André Hirschowitz, Marco Maggesi	Modules over Monads and Linearity.	WoLLIC	2007	DBLP DOI BibTeX RDF
18	Patrik Eklund, Maria A. Galán	On Logic with Fuzzy and Rough Powerset Monads.	RSEISP	2007	DBLP DOI BibTeX RDF
18	Paul Blain Levy	Monads and Adjunctions for Global Exceptions.	MFPS	2006	DBLP DOI BibTeX RDF
18	Patrik Eklund, Maria A. Galán, Werner Gähler	Partially Ordered Monads for Monadic Topologies, Rough Sets and Kleene Algebras.	MFCSIT	2006	DBLP DOI BibTeX RDF
18	Chris Heunen, Bart Jacobs 0001	Arrows, like Monads, are Monoids.	MFPS	2006	DBLP DOI BibTeX RDF
18	Ernie Manes	Boolean restriction categories and taut monads.	Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
18	Robert Goldblatt	Maps and Monads for Modal Frames.	Stud Logica	2006	DBLP DOI BibTeX RDF	modal map, bounded morphism, descriptive frame, equivalence of categories, reflective subcategory, Kleisli category, duality, monad
18	André Hirschowitz, Marco Maggesi	Modules over Monads and Linearity	CoRR	2006	DBLP BibTeX RDF
18	John Power	The Universal Algebra of Computational Effects: Lawvere Theories and Monads.	MSFP@MPC	2006	DBLP BibTeX RDF
18	Neil Ghani, Christoph Lüth, Federico De Marchi	Monads of coalgebras: rational terms and term graphs.	Math. Struct. Comput. Sci.	2005	DBLP DOI BibTeX RDF
18	Stefan Milius	Completely iterative algebras and completely iterative monads.	Inf. Comput.	2005	DBLP DOI BibTeX RDF
18	Stefan Milius	Coalgebras, monads and semantics.		2005	RDF
18	Markus Michelbrink, Anton Setzer	State Dependent IO-Monads in Type Theory.	CTCS	2004	DBLP DOI BibTeX RDF
18	Neil Ghani, Tarmo Uustalu	Coproducts of Ideal Monads.	RAIRO Theor. Informatics Appl.	2004	DBLP DOI BibTeX RDF
18	Bart Jacobs 0001, Erik Poll	Coalgebras and monads in the semantics of Java.	Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
18	Neil Ghani, Tarmo Uustalu	Coproducts of Ideal Monads (Extended Abstract).	FICS	2003	DBLP BibTeX RDF
18	Neil Ghani, Christoph Lüth, Federico De Marchi	Coalgebraic Monads.	CMCS	2002	DBLP DOI BibTeX RDF
18	Jirí Adámek, Stefan Milius, Jirí Velebil	On Rational Monads and Free Iterative Theories.	CTCS	2002	DBLP DOI BibTeX RDF
18	Ernest G. Manes	Taut Monads and T0-spaces.	Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
18	Chung-chieh Shan	Monads for natural language semantics	CoRR	2002	DBLP BibTeX RDF
18	Norman Ramsey, Avi Pfeffer	Stochastic lambda calculus and monads of probability distributions.	POPL	2002	DBLP DOI BibTeX RDF
18	Jirí Adámek, Stefan Milius, Jirí Velebil	Parametric corecursion and completely iterative monads.	FICS	2002	DBLP BibTeX RDF
18	Martin Hyland, John Power	Pseudo-commutative Monads.	MFPS	2001	DBLP DOI BibTeX RDF
18	Neil Ghani, Christoph Lüth, Federico De Marchi, John Power	Algebras, Coalgebras, Monads and Comonads.	CMCS	2001	DBLP DOI BibTeX RDF
18	Tarmo Uustalu	(Co)monads from inductive and coinductive types (Extended Abstract).	APPIA-GULP-PRODE	2001	DBLP BibTeX RDF
18	Marina Lenisa, John Power, Hiroshi Watanabe 0002	Distributivity for endofunctors, pointed and co-pointed endofunctors, monads and comonads.	CMCS	2000	DBLP DOI BibTeX RDF
18	John Hughes 0001	Generalising monads to arrows.	Sci. Comput. Program.	2000	DBLP DOI BibTeX RDF
18	Richard J. Boulton	Towards Automating Inductive Proofs for State Monads.	ARW	2000	DBLP BibTeX RDF
18	Martín Hötzel Escardó, Bob Flagg	Semantic Domains, Injective Spaces and Monads.	MFPS	1999	DBLP DOI BibTeX RDF
18	Nick Benton, Andrew Kennedy	Monads, Effects and Transformations.	HOOTS	1999	DBLP DOI BibTeX RDF
18	Eugenio Moggi, Gianna Bellè, C. Barry Jay	Monads, shapely functors, and traversals.	CTCS	1999	DBLP DOI BibTeX RDF
18	Anna Bucalo, Carsten Führmann, Alex K. Simpson	Equational Lifting Monads.	CTCS	1999	DBLP DOI BibTeX RDF
18	Andrzej Filinski	Representing Layered Monads.	POPL	1999	DBLP DOI BibTeX RDF
18	Tim Sheard, Zine-El-Abidine Benaissa, Emir Pasalic	DSL implementation using staging and monads.	DSL	1999	DBLP DOI BibTeX RDF
18	Ernest G. Manes	Implementing Collection Classes with Monads.	Math. Struct. Comput. Sci.	1998	DBLP BibTeX RDF
18	John Hughes 0001	Generalising Monads (Abstract).	MPC	1998	DBLP DOI BibTeX RDF
18	Christoph Lüth	Categorical term rewriting : monads and modularity.		1998	RDF
18	Philip S. Mulry	Monads in Semantics.	US-Brazil Joint Workshops on the Formal Foundations of Software Systems	1997	DBLP DOI BibTeX RDF
18	Péter Kacsuk, Günter Haring, Gábor Dózsa, Szabolcs Ferenczi, Tibor Fadgyas, Georg Pigel	MONADS-DPV: An Object-Oriented Graphical Support for Developing Concurrent Software System.	Comput. Artif. Intell.	1997	DBLP BibTeX RDF
18	Chih-Ping Chen, Paul Hudak	Rolling Your Own MADT - A Connection Between Linear Types and Monads.	POPL	1997	DBLP DOI BibTeX RDF
18	Christian Prehofer	From Inheritance to Feature Interaction or Composing Monads.	GI Jahrestagung	1997	DBLP DOI BibTeX RDF
18	Christoph Lüth, Neil Ghani	Monads and Modular Term Rewriting.	Category Theory and Computer Science	1997	DBLP DOI BibTeX RDF
18	Pietro Cenciarelli	Computational applications of calculi based on monads.		1996	RDF
18	P. N. Benton, Philip Wadler	Linear Logic, Monads and the Lambda Calculus.	LICS	1996	DBLP DOI BibTeX RDF
18	Yves Bekkers, Paul Tarau	Logic Programming with Monads and Comprehensions.	JFPLC	1995	DBLP BibTeX RDF
18	Philip Wadler	Monads for Functional Programming.	Advanced Functional Programming	1995	DBLP DOI BibTeX RDF
18	Erik Meijer 0001, Johan Jeuring	Merging Monads and Folds for Functional Programming.	Advanced Functional Programming	1995	DBLP DOI BibTeX RDF
18	Philip Wadler	Monads and Composable Continuations.	LISP Symb. Comput.	1994	DBLP BibTeX RDF
18	Françoise Bellegarde, James Hook	Substitution: A Formal Methods Case Study Using Monads and Transformations.	Sci. Comput. Program.	1994	DBLP DOI BibTeX RDF
18	Andrzej Filinski	Representing Monads.	POPL	1994	DBLP DOI BibTeX RDF
18	Neil Dunstan, James Leslie Keedy, John Rosenberg	Support for Concurrent Programming on the MONADS-PC System.	Aust. Comput. J.	1993	DBLP BibTeX RDF
18	Françoise Bellegarde, James Hook	Monads, Indexes and Transformations.	TAPSOFT	1993	DBLP DOI BibTeX RDF
18	Reinhold Heckmann	Product Operations in Strong Monads.	Theory and Formal Methods	1993	DBLP BibTeX RDF
18	Philip Wadler	Comprehending Monads.	Math. Struct. Comput. Sci.	1992	DBLP DOI BibTeX RDF
18	Philip S. Mulry	Monads and Algebras in the Semantics or Partial Data Types.	Theor. Comput. Sci.	1992	DBLP DOI BibTeX RDF
18	James Leslie Keedy, Peter Brössler	Implementing Databases in the MONADS Virtual Memory.	POS	1992	DBLP BibTeX RDF
18	Philip Wadler	Monads for functional programming.	NATO ASI PDC	1992	DBLP DOI BibTeX RDF
18	David J. King, Philip Wadler	Combining Monads.	Functional Programming	1992	DBLP DOI BibTeX RDF
18	Eugenio Moggi	Notions of Computation and Monads	Inf. Comput.	1991	DBLP DOI BibTeX RDF
18	Kevin Hammond	Efficient Type Inference Using Monads (Summary).	Functional Programming	1991	DBLP DOI BibTeX RDF
18	John Rosenberg	The MONADS Architecture - A Layered View.	POS	1990	DBLP BibTeX RDF
18	Frans A. Henskens, John Rosenberg, Michael Richard Hannaford	Stability in a Network of MONADS-PC Computers.	Security and Persistence	1990	DBLP DOI BibTeX RDF
18	Nigel J. Cutland	Transfer Theorems for pi-Monads.	Ann. Pure Appl. Log.	1989	DBLP DOI BibTeX RDF
18	James Leslie Keedy	Support for Objects in the MONADS Architecture.	POS	1989	DBLP BibTeX RDF
18	Eugenio Moggi	Computational Lambda-Calculus and Monads	LICS	1989	DBLP DOI BibTeX RDF
18	Ernest G. Manes	Monads, Matrices and Generalized Dynamic Algebra.	Categorial Methods in Computer Science	1988	DBLP DOI BibTeX RDF
18	John Rosenberg, James Leslie Keedy	Object Management and Addressing in the MONADS Architecture.	POS	1987	DBLP BibTeX RDF
18	James Leslie Keedy, John Rosenberg	Architectural Support for Software in the Monads III Computer Design.	GI Jahrestagung	1982	DBLP DOI BibTeX RDF