Search results for "monad"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
123	Yingzhou Zhang, Baowen Xu	A Slice Monad Transformer and Its Applications in Program Slicing.	ICECCS	2005	DBLP DOI BibTeX RDF	slice monad transformer, modular monadic semantics, Program slicing, monad transformers
109	Chuan-Kai Lin	Programming monads operationally with Unimo.	ICFP	2006	DBLP DOI BibTeX RDF	unimo, haskell, monads, monad transformers
103	Jirí Adámek, Stefan Milius, Jirí Velebil	A Description of Iterative Reflections of Monads (Extended Abstract).	FoSSaCS	2009	DBLP DOI BibTeX RDF
98	Mauro Jaskelioff	Modular Monad Transformers.	ESOP	2009	DBLP DOI BibTeX RDF
98	Ben Cohen, Martín Hötzel Escardó, Klaus Keimel	The Extended Probabilistic Powerdomain Monad over Stably Compact Spaces.	TAMC	2006	DBLP DOI BibTeX RDF
85	Sheng Liang, Paul Hudak, Mark P. Jones	Monad Transformers and Modular Interpreters.	POPL	1995	DBLP DOI BibTeX RDF
77	Christoph Koch 0001	On the complexity of nonrecursive XQuery and functional query languages on complex values.	PODS	2005	DBLP DOI BibTeX RDF
66	Ralf Hinze	Deriving backtracking monad transformers.	ICFP	2000	DBLP DOI BibTeX RDF	Prolog, Prolog, Haskell, Haskell, continuations, monads, backtracking, cut, program derivation, PEARL, monad transformers
64	José Emilio Labra Gayo, Juan Manuel Cueva Lovelle, María Cándida Luengo Díez, Bernardo Martín González Rodríguez	A Language Prototyping Tool Based on Semantic Building Blocks.	EUROCAST	2001	DBLP DOI BibTeX RDF
59	Lutz Schröder, Till Mossakowski	Generic Exception Handling and the Java Monad.	AMAST	2004	DBLP DOI BibTeX RDF
59	Thuc Vu, Jared Go, Gal A. Kaminka, Manuela M. Veloso, Brett Browning	MONAD: a flexible architecture for multi-agent control.	AAMAS	2003	DBLP DOI BibTeX RDF	team-oriented programming, collaboration, teamwork, arbitration, behavior-based control, robot teams
59	Lutz Schröder, Till Mossakowski	Monad-Independent Hoare Logic in HASCASL.	FASE	2003	DBLP DOI BibTeX RDF
59	Lutz Schröder, Till Mossakowski	Monad-Independent Dynamic Logic in Has Casl.	WADT	2002	DBLP DOI BibTeX RDF
58	Stefan Milius, Thorsten Palm, Daniel Schwencke	Complete Iterativity for Algebras with Effects.	CALCO	2009	DBLP DOI BibTeX RDF	iterative algebra, terminal coalgebra, monad, initial algebra, distributive law
58	Miki Tanaka, John Power	A unified category-theoretic formulation of typed binding signatures.	MERLIN	2005	DBLP DOI BibTeX RDF	binding signature, pseudo-distributive law, substitution monoidal structure, variable binding, pseudo-monad
53	William L. Harrison, Samuel N. Kamin	Modular Compilers Based on Monad Transformers.	ICCL	1998	DBLP DOI BibTeX RDF	Semantics-Based Compilation, Pass Separation, Compilers, Partial Evaluation, Monads, Programming Language Semantics, Monad Transformers
51	Jeremy E. Dawson	Compound monads in specification languages.	PLPV	2007	DBLP DOI BibTeX RDF	angelic choice, compound monads, demonic choice, distributive law for monads, extended substitutions, specification languages, generalised substitutions
51	Patrik Eklund, Maria A. Galán	Monads Can Be Rough.	RSCTC	2006	DBLP DOI BibTeX RDF
51	Gian Luca Cattani, John Power, Glynn Winskel	A Categorical Axiomatics for Bisimulation.	CONCUR	1998	DBLP DOI BibTeX RDF
51	Yingzhou Zhang, José Emilio Labra Gayo, Agustín Cernuda del Río	A monadic program slicer.	ACM SIGPLAN Notices	2006	DBLP DOI BibTeX RDF	modular monadic semantics, program slicer, monad, monad transformer
51	Maria Manuel Clementino, Dirk Hofmann	Topological Features of Lax Algebras.	Appl. Categorical Struct.	2003	DBLP DOI BibTeX RDF	(lax) monad, (lax) algebra, ultrafilter monad, approach space, quasi-uniform space, ech-Stone compactification, topological space
47	Wouter Swierstra	A Hoare Logic for the State Monad.	TPHOLs	2009	DBLP DOI BibTeX RDF
47	Ernst-Erich Doberkat	Weak Bisimulations for the Giry Monad (Extended Abstract).	TAMC	2008	DBLP DOI BibTeX RDF
47	Christoph Sprenger 0001, David A. Basin	A Monad-Based Modeling and Verification Toolbox with Application to Security Protocols.	TPHOLs	2007	DBLP DOI BibTeX RDF
47	Adam Megacz	A coinductive monad for prop-bounded recursion.	PLPV	2007	DBLP DOI BibTeX RDF	coinductive types, type theory
47	Ravi Vijaya Satya, Amar Mukherjee	PRUNER: Algorithms for Finding Monad Patterns in DNA Sequences.	CSB	2004	DBLP DOI BibTeX RDF	regulatory patterns, k-mismatch patterns, Pattern discovery
47	Ravi Vijaya Satya, Amar Mukherjee	New Algorithms for Finding Monad Patterns in DNA Sequences.	SPIRE	2004	DBLP DOI BibTeX RDF
47	Tarmo Uustalu	Monad Translating Inductive and Coinductive Types.	TYPES	2002	DBLP DOI BibTeX RDF
45	Patrik Eklund, Robert Helgesson	Composing Partially Ordered Monads.	RelMiCS	2009	DBLP DOI BibTeX RDF	partially ordered monad, Kleene algebra
45	YingZhou Zhang	A novel formal approach to program slicing.	Sci. China Ser. F Inf. Sci.	2007	DBLP DOI BibTeX RDF	slice monad transformer, modularity, program slicing, formal semantics, monads
45	Paul Blain Levy	Call-by-push-value: Decomposing call-by-value and call-by-name.	High. Order Symb. Comput.	2006	DBLP DOI BibTeX RDF	Call-by-push-value, Call-by-name, Lambda-calculus, Monad, Computational effect, Call-by-value
45	William L. Harrison	Proof Abstraction for Imperative Languages.	APLAS	2006	DBLP DOI BibTeX RDF	Program Specification and Verification, Monads, Language Semantics, Monad Transformers
45	Lutz Schröder	Monads on Composition Graphs.	Appl. Categorical Struct.	2002	DBLP DOI BibTeX RDF	composition graph, Kleisli category, algebra, monad, adjunction
42	Isar Stubbe	The double power monad is the composite power monad.	Fuzzy Sets Syst.	2017	DBLP DOI BibTeX RDF
38	Pablo López, Frank Pfenning, Jeff Polakow, Kevin Watkins	Monadic concurrent linear logic programming.	PPDP	2005	DBLP DOI BibTeX RDF	committed choice concurrency, operational semantics, linear logic
38	Olivier Danvy, Bernd Grobauer, Morten Rhiger	A Unifying Approach to Goal-Directed Evaluation.	SAIG	2001	DBLP DOI BibTeX RDF
34	Patrik Eklund, Maria A. Galán	The Rough Powerset Monad.	ISMVL	2007	DBLP DOI BibTeX RDF
34	Oleg Kiselyov, Chung-chieh Shan, Daniel P. Friedman, Amr Sabry	Backtracking, interleaving, and terminating monad transformers: (functional pearl).	ICFP	2005	DBLP DOI BibTeX RDF	control delimiters, logic programming, Prolog, streams, Haskell, continuations
34	Mary F. Fernández, Jérôme Siméon, Philip Wadler	A Semi-monad for Semi-structured Data.	ICDT	2001	DBLP DOI BibTeX RDF
34	Bart Jacobs 0001, Erik Poll	A Monad for Basic Java Semantics.	AMAST	2000	DBLP DOI BibTeX RDF
34	Marco Grandis, John MacDonald	Homotopy Structures for Algebras over a Monad.	Appl. Categorical Struct.	1999	DBLP DOI BibTeX RDF	abstract homotopy, equivariant homotopy, fibrewise homotopy, homotopy (co)-limits, (co)cylinder, cubical objects, Eilenberg-Moore algebras, slice categories, monads, homotopy
32	Martín Abadi, Gordon D. Plotkin	A model of cooperative threads.	POPL	2009	DBLP DOI BibTeX RDF	transaction, operational semantics, monad, denotational semantics
32	Peng Li, Steve Zdancewic	Combining events and threads for scalable network services implementation and evaluation of monadic, application-level concurrency primitives.	PLDI	2007	DBLP DOI BibTeX RDF	scalability, networking, concurrency, programming, implementation, haskell, event, thread, monad
32	Ales Pultr, Anna Tozzi	Some Categorical Aspects of Information Systems and Domains.	Appl. Categorical Struct.	2006	DBLP DOI BibTeX RDF	Kleisli and Eilenberg-Moore categories of a monad, information systems, completion, domains
32	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
32	Miki Tanaka, John Power	Pseudo-distributive laws and axiomatics for variable binding.	High. Order Symb. Comput.	2006	DBLP DOI BibTeX RDF	Binding signatures, Pseudo-distributive law, Substitution monoidal structure, Context, Initial algebra semantics, Pseudo-monad
32	Stephen Lack	Limits for Lax Morphisms.	Appl. Categorical Struct.	2005	DBLP DOI BibTeX RDF	2-monad, lax morphism, lax limit, monoidal functor
32	Mark Weber	Operads within Monoidal Pseudo Algebras.	Appl. Categorical Struct.	2005	DBLP DOI BibTeX RDF	Higher dimensional category, 2-monad, monoidal pseudo-algebra, Operated
32	Yingzhou Zhang, Baowen Xu, Liang Shi, Bixin Li, Hongji Yang	Modular Monadic Program Slicing.	COMPSAC	2004	DBLP DOI BibTeX RDF	program slicing, formal semantics, monads, monad transformers
32	Matthew Fluet, J. Gregory Morrisett	Monadic regions.	ICFP	2004	DBLP DOI BibTeX RDF	type system, effect, monad, region, parametric polymorphism, region-based memory management
32	Philip Wadler, Peter Thiemann 0001	The marriage of effects and monads.	ACM Trans. Comput. Log.	2003	DBLP DOI BibTeX RDF	type reconstruction, type, effect, Monad, region
32	Gordon D. Plotkin, John Power	Algebraic Operations and Generic Effects.	Appl. Categorical Struct.	2003	DBLP DOI BibTeX RDF	Lawvere theory, monad, computational effect, algebraic operation
32	Taras Radul	Functional Representations of Lawson Monads.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	Lawson monad, functional representations
32	Philip Wadler	How to Declare an Imperative.	ACM Comput. Surv.	1997	DBLP DOI BibTeX RDF	functional programming, Haskell, monad
26	Andrzej Filinski	Monads in action.	POPL	2010	DBLP DOI BibTeX RDF	modular semantics, monads, computational effects
26	Gordon D. Plotkin, Matija Pretnar	Handlers of Algebraic Effects.	ESOP	2009	DBLP DOI BibTeX RDF
26	Gordon D. Plotkin	Adequacy for Infinitary Algebraic Effects (Abstract).	CALCO	2009	DBLP DOI BibTeX RDF
26	Robert Wisbauer	Algebras Versus Coalgebras.	Appl. Categorical Struct.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 18A40, 18C20, 18C15, 16W30
26	David A. Cock, Gerwin Klein, Thomas Sewell	Secure Microkernels, State Monads and Scalable Refinement.	TPHOLs	2008	DBLP DOI BibTeX RDF
26	Peter Selinger, Benoît Valiron	A Linear-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract).	FoSSaCS	2008	DBLP DOI BibTeX RDF
26	José Espírito Santo, Ralph Matthes, Luís Pinto 0001	Monadic Translation of Intuitionistic Sequent Calculus.	TYPES	2008	DBLP DOI BibTeX RDF
26	Pericles S. Kariotis, Adam M. Procter, William L. Harrison	Making monads first-class with template haskell.	Haskell	2008	DBLP DOI BibTeX RDF	staged programming, domain-specific languages, monads
26	Oleg Kiselyov, Chung-chieh Shan	Lightweight monadic regions.	Haskell	2008	DBLP DOI BibTeX RDF	resource management, type systems, subtyping, monads, regions, type classes, parametric polymorphism, effect systems
26	Jeremy E. Dawson	Formalising Generalised Substitutions.	TPHOLs	2007	DBLP DOI BibTeX RDF	general correctness, generalised substitution
26	Russell Harmer, Martin Hyland, Paul-André Melliès	Categorical Combinatorics for Innocent Strategies.	LICS	2007	DBLP DOI BibTeX RDF
26	Jirí Adámek, Stefan Milius, Jirí Velebil	What Are Iteration Theories?	MFCS	2007	DBLP DOI BibTeX RDF
26	Sergey Goncharov 0001, Lutz Schröder, Till Mossakowski	Completeness of Global Evaluation Logic.	MFCS	2006	DBLP DOI BibTeX RDF
26	Peter Thiemann 0001	WASH Server Pages.	FLOPS	2006	DBLP DOI BibTeX RDF
26	Brian Huffman, John Matthews, Peter White	Axiomatic Constructor Classes in Isabelle/HOLCF.	TPHOLs	2005	DBLP DOI BibTeX RDF
26	John Power	Discrete Lawvere Theories.	CALCO	2005	DBLP DOI BibTeX RDF
26	Norman Ramsey, Avi Pfeffer	Stochastic lambda calculus and monads of probability distributions.	POPL	2002	DBLP DOI BibTeX RDF
26	Christoph Lüth, Neil Ghani	Composing monads using coproducts.	ICFP	2002	DBLP DOI BibTeX RDF
26	Christoph Lüth, Neil Ghani	Monads and Modularity.	FroCoS	2002	DBLP DOI BibTeX RDF
26	Günther Richter	Coreflectivity of E-Monads and Algebraic Hulls.	Appl. Categorical Struct.	2000	DBLP DOI BibTeX RDF	factorizations of (homo)morphisms, varietal and algebraic hulls, function spaces, monads
26	Peter G. Hancock, Anton Setzer	Interactive Programs in Dependent Type Theory.	CSL	2000	DBLP DOI BibTeX RDF	monadic I/O, repetition constructs, interaction, refinement, Functional programming, dependent types, reactive programming
26	Marcelo P. Fiore, Gian Luca Cattani, Glynn Winskel	Weak Bisimulation and Open Maps.	LICS	1999	DBLP DOI BibTeX RDF	semantics, Concurrency, denotational semantics, categorical models
26	Peter Thiemann 0001	A Generic Framework for Specialization (Abridged Version).	ESOP	1998	DBLP DOI BibTeX RDF	program transformation, partial evaluation, computational effects, higher-order programming
26	Enno Scholz	Imperative Streams - A Monadic Combinator Library for Synchronous Programming.	ICFP	1998	DBLP DOI BibTeX RDF	Haskell, monads, synchronous languages, interactive graphics
26	Andrzej Filinski	Representing Monads.	POPL	1994	DBLP DOI BibTeX RDF
26	Reinhold Heckmann	Power Domains Supporting Recursion and Failure.	CAAP	1992	DBLP DOI BibTeX RDF
21	Lili Shen, Xiaojuan Zhao	The powerset monad on quantale-valued sets.	Fuzzy Sets Syst.	2024	DBLP DOI BibTeX RDF
21	Francesco Dagnino, Amin Farjudian, Eugenio Moggi	Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad.	CoRR	2023	DBLP DOI BibTeX RDF
21	Martín Abadi, Gordon D. Plotkin	Smart Choices and the Selection Monad.	Log. Methods Comput. Sci.	2023	DBLP DOI BibTeX RDF
21	Mengying Liu, Yueli Yue, Xiaowei Wei	Frame-valued Scott open set monad and its algebras.	Fuzzy Sets Syst.	2023	DBLP DOI BibTeX RDF
21	Sijia Lu, Dexue Zhang	The double contravariant powerset monad in the Goguen category of fuzzy sets.	Fuzzy Sets Syst.	2023	DBLP DOI BibTeX RDF
21	Michikazu Hirata, Yasuhiko Minamide	S-Finite Measure Monad on Quasi-Borel Spaces.	Arch. Formal Proofs	2023	DBLP BibTeX RDF
21	Francesco Dagnino, Amin Farjudian, Eugenio Moggi	Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad.	ICTAC	2023	DBLP DOI BibTeX RDF
21	Marie Kerjean, Jean-Simon Pacaud Lemay	Taylor Expansion as a Monad in Models of DiLL.	LICS	2023	DBLP DOI BibTeX RDF
21	Barbara Rychalska, Igor Sieradzki, Jacek Dabrowski 0004	The Monad Platform - Temporal Aspects in Behavioral Modeling.	ECAI	2023	DBLP DOI BibTeX RDF
21	Xiaochen Hao, Zijian Ding, Jieming Yin, Yuan Wang 0001, Yun Liang 0001	Monad: Towards Cost-Effective Specialization for Chiplet-Based Spatial Accelerators.	ICCAD	2023	DBLP DOI BibTeX RDF
21	Barbara Rychalska, Szymon Lukasik, Jacek Dabrowski 0004	Synerise Monad: A Foundation Model for Behavioral Event Data.	SIGIR	2023	DBLP DOI BibTeX RDF
21	Koen Jacobs, Dominique Devriese, Amin Timany	Purity of an ST monad: full abstraction by semantically typed back-translation.	Proc. ACM Program. Lang.	2022	DBLP DOI BibTeX RDF
21	Fei-Yue Wang 0001, Wenwen Ding, Rui Qin 0002, Bin Hu 0001	Parallel Philosophy for MetaOrganizations With MetaOperations: From Leibniz's Monad to HanoiDAO.	IEEE Trans. Comput. Soc. Syst.	2022	DBLP DOI BibTeX RDF
21	Jing Lu	The monad on strong quasi-metric spaces.	Theor. Comput. Sci.	2022	DBLP DOI BibTeX RDF
21	Dylan McDermott, Tarmo Uustalu	What Makes a Strong Monad?	MSFP@ETAPS	2022	DBLP DOI BibTeX RDF
21	Ugo Dal Lago, Francesco Gavazzo, Alexis Ghyselen	On Reinforcement Learning, Effect Handlers, and the State Monad.	CoRR	2022	DBLP DOI BibTeX RDF
21	T. M. G. Ahsanullah, Tesnim Meryem Baran, Fawzi Al-Thukair	On the Probabilistic Convergence Spaces: Monad and its Eilenberg-Moore Category.	New Math. Nat. Comput.	2022	DBLP DOI BibTeX RDF
21	Jacek Dabrowski 0004, Barbara Rychalska	Synerise Monad - Real-Time Multimodal Behavioral Modeling.	CIKM	2022	DBLP DOI BibTeX RDF
21	Johannes Hartmann, Jeremy Gibbons	Algorithm Design with the Selection Monad.	TFP	2022	DBLP DOI BibTeX RDF
21	Lorenzo Petricone, Ivano Salvo	Monad Transformations as Parametric Distributive Laws (text not included).	ICTCS	2022	DBLP BibTeX RDF