Search results for "2-monad"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	George Giorgidze, Torsten Grust, Nils Schweinsberg, Jeroen Weijers	Bringing back monad comprehensions.	Haskell	2011	DBLP DOI BibTeX RDF
21	Jun'ichi Takeno	MoNAD structure and the self-awareness.	BICA	2011	DBLP DOI BibTeX RDF
21	Florent Kirchner, César A. Muñoz	The proof monad.	J. Log. Algebraic Methods Program.	2010	DBLP DOI BibTeX RDF
21	Ernst-Erich Doberkat	Weak bisimulations for the Giry monad.	Math. Struct. Comput. Sci.	2010	DBLP DOI BibTeX RDF
21	Mauro Jaskelioff, Eugenio Moggi	Monad transformers as monoid transformers.	Theor. Comput. Sci.	2010	DBLP DOI BibTeX RDF
21	Mark Snyder, Perry Alexander	Monad Factory: Type-Indexed Monads.	Trends in Functional Programming	2010	DBLP DOI BibTeX RDF
21	Annette Bieniusa, Peter Thiemann 0001	How to CPS Transform a Monad.	CC	2009	DBLP DOI BibTeX RDF
21	Eugenio Moggi	Monad Transformers as Monoid Transformers.	ICTCS	2009	DBLP BibTeX RDF
21	Ernie Manes, Philip S. Mulry	Monad compositions II: Kleisli strength.	Math. Struct. Comput. Sci.	2008	DBLP DOI BibTeX RDF
21	Mauro Jaskelioff	Monatron: An Extensible Monad Transformer Library.	IFL	2008	DBLP DOI BibTeX RDF
21	Patrik Eklund, Maria A. Galán	The Rough Powerset Monad.	J. Multiple Valued Log. Soft Comput.	2007	DBLP BibTeX RDF
21	Jianjun Zhou, Jörg Sander 0001, Guohui Lin	Efficient composite pattern finding from monad patterns.	Int. J. Bioinform. Res. Appl.	2007	DBLP DOI BibTeX RDF
21	Till Mossakowski	Monad-Based Logics for Computational Effects.	AMAST	2006	DBLP DOI BibTeX RDF
21	Andy Oakley	Monad - introducing the new MSH command shell and language for Windows.		2005	RDF
21	Lutz Schröder, Till Mossakowski	Monad-independent Dynamic Logic in HasCasl.	J. Log. Comput.	2004	DBLP DOI BibTeX RDF
21	Carlos Camarão 0001, Lucília Figueiredo, Hermann Rodrigues	Mimico: a Monad Combinator Parser Generator.	J. Braz. Comput. Soc.	2003	DBLP DOI BibTeX RDF
21	Anna Bucalo, Carsten Führmann, Alex K. Simpson	An equational notion of lifting monad.	Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
21	Simon L. Peyton Jones	Haskell 98 Libraries: Monad Utilities.	J. Funct. Program.	2003	DBLP DOI BibTeX RDF
21	John Power, Hiroshi Watanabe 0002	Combining a monad and a comonad.	Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
21	Patrik Eklund, Maria A. Galán, Jesús Medina 0001, Manuel Ojeda-Aciego, Agustín Valverde	A graphical approach to monad compositions.	MFCSIT	2000	DBLP DOI BibTeX RDF
21	John Power, Hiroshi Watanabe 0002	Distributivity for a monad and a comonad.	CMCS	1999	DBLP DOI BibTeX RDF
21	Koen Claessen	A Poor Man's Concurrency Monad.	J. Funct. Program.	1999	DBLP DOI BibTeX RDF
21	Satoshi Kobayashi	Monad as Modality.	Theor. Comput. Sci.	1997	DBLP DOI BibTeX RDF
21	Jonathan M. D. Hill, Keith M. Clarke, Richard Bornat	Parallelizing Imperative Functional Programs: the Vectorization Monad.	J. Symb. Comput.	1996	DBLP DOI BibTeX RDF
21	Jonathan M. D. Hill, Keith M. Clarke, Richard Bornat	The Vectorisation Monad.	PASCO	1994	DBLP BibTeX RDF
21	Ernest G. Manes	The Equational Theory of a Boolean Monad.	FCT	1993	DBLP DOI BibTeX RDF
21	Renling Jin	U-Monad Topologies of Hyperfinite Time Lines.	J. Symb. Log.	1992	DBLP DOI BibTeX RDF
21	John G. Stell	Unique-Sort Order-Sorted Theories: A Description as Monad Morphisms.	CTRS	1990	DBLP DOI BibTeX RDF
21	Nader Vakil	Monadic Binary Relations and the Monad Systems at Near-Standard Points.	J. Symb. Log.	1987	DBLP DOI BibTeX RDF
21	Frank Wattenberg	Nonstandard Topology and Extensions of Monad Systems to Infinite Points.	J. Symb. Log.	1971	DBLP DOI BibTeX RDF
19	Paul-André Melliès	Segal Condition Meets Computational Effects.	LICS	2010	DBLP DOI BibTeX RDF	finitary monads, Lawvere theories, state monad, higher dimensional algebra, nerve functor, Segal condition, monads with arities, Computational effects, algebraic theories
19	Mark Hopkins	The Algebraic Approach II: Dioids, Quantales and Monads.	RelMiCS	2008	DBLP DOI BibTeX RDF	Kleene, Monad, Category, Ideal, Semiring, Adjunction, Quantale, Dioid
19	Ralf Lämmel, Ondrej Rypacek	The Expression Lemma.	MPC	2008	DBLP DOI BibTeX RDF	expression lemma, functional object, the composite design pattern, free monad, cofree comonad, fold, program calculation, expression problem, distributive law, catamorphism
19	Jérôme Vouillon	Lwt: a cooperative thread library.	ML	2008	DBLP DOI BibTeX RDF	networking, concurrency, programming, implementation, ml, thread, monad, objective caml
19	Alejandro Russo, Koen Claessen, John Hughes 0001	A library for light-weight information-flow security in haskell.	Haskell	2008	DBLP DOI BibTeX RDF	information-flow, library, monad, declassification
19	Christian Hofer, Klaus Ostermann	On the relation of aspects and monads.	FOAL	2007	DBLP DOI BibTeX RDF	aspect-oriented programming, aspects, monads, monad transformers
19	Christoph Koch 0001	On the complexity of nonrecursive XQuery and functional query languages on complex values.	ACM Trans. Database Syst.	2006	DBLP DOI BibTeX RDF	monad algebra, nested-relational algebra, XML, complexity, XQuery, expressiveness, conservativity, Complex values
19	Maria Manuel Clementino, Dirk Hofmann	Effective Descent Morphisms in Categories of Lax Algebras.	Appl. Categorical Struct.	2004	DBLP DOI BibTeX RDF	effective descent morphism, lax algebra, monad
19	Zena M. Ariola, Hugo Herbelin, Amr Sabry	A type-theoretic foundation of continuations and prompts.	ICFP	2004	DBLP DOI BibTeX RDF	callcc, prompt, subcontinuation, continuation, monad, subtraction, shift, reset
19	Jirí Adámek, Stefan Milius, Jirí Velebil	Some Remarks on Finitary and Iterative Monads.	Appl. Categorical Struct.	2003	DBLP DOI BibTeX RDF	Kleisli triple, monad, monoid
19	John Power	A unified category theoretic approach to variable binding.	MERLIN	2003	DBLP DOI BibTeX RDF	binding signature, pseudo-distributive law, substitution monoidal structure, variable binding, pseudo-monad
19	Jürgen Koslowski	Beyond the Chu-construction.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	closed bicategory, *-autonomy, interpolad, module, monad
19	Manuela Sobral	Another Approach to Topological Descent Theory.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	descent data, (effective) descent map, monadic functor, universal regular epimorphism, (effective) étale-descent, monad
19	Ralf Kemper	p-Banach Spaces and p-Totally Convex Spaces. II.	Appl. Categorical Struct.	2000	DBLP DOI BibTeX RDF	p-Banach space, p-normed vector space, p-totally convex space, p-absolutely convex space, comparison functor, congruence relation, Eilenberg-Moore category, monad
19	Ralf Kemper	p-Banach Spaces and p-Totally Convex Spaces.	Appl. Categorical Struct.	1999	DBLP DOI BibTeX RDF	p-Banach space, p-normed vector space, (p-) totally (resp. (p-) absolutely) convex space, congruence relation, Eilenberg-Moore category, monad
13	Gavin J. Seal	A Kleisli-based Approach to Lax Algebras.	Appl. Categorical Struct.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 54B30, 18B30, 18C20
13	Dan P. Piponi	Commutative monads, diagrams and knots.	ICFP	2009	DBLP DOI BibTeX RDF	tensor networks, linear algebra, monads, knot theory
13	Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin	Approximating Labelled Markov Processes Again!	CALCO	2009	DBLP DOI BibTeX RDF
13	William L. Harrison, Adam M. Procter, Jason Agron, Garrin Kimmell, Gerard Allwein	Model-Driven Engineering from Modular Monadic Semantics: Implementation Techniques Targeting Hardware and Software.	DSL	2009	DBLP DOI BibTeX RDF
13	André Rauber Du Bois, Marcos Echevarria	A Domain Specific Language for Composable Memory Transactions in Java.	DSL	2009	DBLP DOI BibTeX RDF
13	Patrik Eklund, María Ángeles Galán García	Partially Ordered Monads and Rough Sets.	Trans. Rough Sets	2008	DBLP DOI BibTeX RDF
13	Lukas Bulwahn, Alexander Krauss 0001, Florian Haftmann, Levent Erkök, John Matthews	Imperative Functional Programming with Isabelle/HOL.	TPHOLs	2008	DBLP DOI BibTeX RDF
13	Nils Anders Danielsson	Lightweight semiformal time complexity analysis for purely functional data structures.	POPL	2008	DBLP DOI BibTeX RDF	amortised time complexity, purely functional data structures, dependent types, lazy evaluation
13	Anders Schack-Nielsen, Carsten Schürmann	Celf - A Logical Framework for Deductive and Concurrent Systems (System Description).	IJCAR	2008	DBLP DOI BibTeX RDF
13	Oleh R. Nykyforchyn	Capacities with Values in Compact Hausdorff Lattices.	Appl. Categorical Struct.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 18B30, 06F30, 54B30
13	Christophe Van Olmen, Stijn Verwulgen	Lower Semi-continuous Function Frames.	Appl. Categorical Struct.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 06D22, 54C40, 18C15
13	André Hirschowitz, Marco Maggesi	Modules over Monads and Linearity.	WoLLIC	2007	DBLP DOI BibTeX RDF
13	Ana Bove, Venanzio Capretta	Computation by Prophecy.	TLCA	2007	DBLP DOI BibTeX RDF
13	Sylvain Boulmé	Intuitionistic Refinement Calculus.	TLCA	2007	DBLP DOI BibTeX RDF
13	Erik Meijer 0001	There is no impedance mismatch: (language integrated query in visual basic 9).	OOPSLA Companion	2006	DBLP DOI BibTeX RDF
13	Wolfram Kahl, Jacques Carette, Xiaoheng Ji	Bimonadic Semantics for Basic Pattern Matching Calculi.	MPC	2006	DBLP DOI BibTeX RDF
13	William L. Harrison	The Essence of Multitasking.	AMAST	2006	DBLP DOI BibTeX RDF
13	Kevin Donnelly, Matthew Fluet	Transactional events.	ICFP	2006	DBLP DOI BibTeX RDF	first-class events, synchronous message passing, concurrency, transactions, monads
13	Zhongqiang Wu, Yingzhou Zhang, Baowen Xu	Modular Monadic Slicing in the Presence of Pointers.	International Conference on Computational Science (4)	2006	DBLP DOI BibTeX RDF
13	Yingzhou Zhang, Baowen Xu, José Emilio Labra Gayo	A Formal Method for Program Slicing.	Australian Software Engineering Conference	2005	DBLP DOI BibTeX RDF
13	Sam Lindley, Ian Stark	Reducibility and TT-Lifting for Computation Types.	TLCA	2005	DBLP DOI BibTeX RDF
13	William L. Harrison, James Hook	Achieving Information Flow Security through Precise Control of Effects.	CSFW	2005	DBLP DOI BibTeX RDF
13	Tarmo Uustalu, Varmo Vene	The Essence of Dataflow Programming.	APLAS	2005	DBLP DOI BibTeX RDF
13	Neil Ghani, Patricia Johann, Tarmo Uustalu, Varmo Vene	Monadic augment and generalised short cut fusion.	ICFP	2005	DBLP DOI BibTeX RDF	short cut fusion, monads, bind, build, augment
13	Tarmo Uustalu, Varmo Vene	The Essence of Dataflow Programming.	CEFP	2005	DBLP DOI BibTeX RDF
13	Deepak Garg 0001, Frank Pfenning	Type-Directed Concurrency.	CONCUR	2005	DBLP DOI BibTeX RDF
13	Dennis Walter, Lutz Schröder, Till Mossakowski	Parametrized Exceptions.	CALCO	2005	DBLP DOI BibTeX RDF
13	Andreas Abel 0001, Marcin Benke, Ana Bove, John Hughes 0001, Ulf Norell	Verifying haskell programs using constructive type theory.	Haskell	2005	DBLP DOI BibTeX RDF	GHC core, monadic translation, verification, haskell, type theory, partiality
13	Claudio Hermida	Descent on 2-Fibrations and Strongly 2-Regular 2-Categories.	Appl. Categorical Struct.	2004	DBLP DOI BibTeX RDF	2-fibration, effective descent, essentially-surjective-on-objects, pseudo-monadicity
13	Maria Manuel Clementino, Dirk Hofmann, Walter Tholen	One Setting for All: Metric, Topology, Uniformity, Approach Structure.	Appl. Categorical Struct.	2004	DBLP DOI BibTeX RDF	V-matrix, V-promatrix, (T,V)-algebra, (T,V)-proalgebra, co-Kleisli composition, uniform space, approach space, prometric space, protopological space, proapproach space, topological category, metric space, ordered set, topological space
13	Sun Meng, Luís Soares Barbosa	On Refinement of Generic State-Based Software Components.	AMAST	2004	DBLP DOI BibTeX RDF	coalgebraic models, Components, refinement
13	Jan Christiansen, Frank Huch	Searching for deadlocks while debugging concurrent haskell programs.	ICFP	2004	DBLP DOI BibTeX RDF	concurrent haskell, detecting deadlocks, debugging, deadlock
13	Jean Goubault-Larrecq, Slawomir Lasota 0001, David Nowak, Yu Zhang	Complete Lax Logical Relations for Cryptographic Lambda-Calculi.	CSL	2004	DBLP DOI BibTeX RDF	Cryptographic lambda-calculus, Subscone, Monads, Logical relations
13	Ernst-Erich Doberkat	Pipelines: Modelling a software architecture through relations.	Acta Informatica	2003	DBLP DOI BibTeX RDF
13	Peter Thiemann 0001	Continuation-Based Partial Evaluation without Continuations.	SAS	2003	DBLP DOI BibTeX RDF	Functional programming, type systems, partial evaluation
13	Aleksandar Nanevski	From dynamic binding to state via modal possibility.	PPDP	2003	DBLP DOI BibTeX RDF	modal lambda-calculus, state, dynamic binding, effect systems
13	Yu Zhang, David Nowak	Logical Relations for Dynamic Name Creation.	CSL	2003	DBLP DOI BibTeX RDF	Kripke logical relation, name creation, nu-calculus, categorical models of lambda calculi
13	Edmund Robinson	Variations on Algebra: Monadicity and Generalisations of Equational Theories.	Formal Aspects Comput.	2002	DBLP DOI BibTeX RDF	Enriched categroy theory, Algebra, Monads, Category theory
13	Gordon D. Plotkin, John Power	Notions of Computation Determine Monads.	FoSSaCS	2002	DBLP DOI BibTeX RDF
13	Magnus Carlsson	Monads for incremental computing.	ICFP	2002	DBLP DOI BibTeX RDF
13	Joseph M. Barone	Fuzzy Points and Fuzzy Prototypes.	AFSS	2002	DBLP DOI BibTeX RDF
13	Sava Krstic, John Launchbury, Dusko Pavlovic	Categories of Processes Enriched in Final Coalgebras.	FoSSaCS	2001	DBLP DOI BibTeX RDF
13	Gordon D. Plotkin, John Power	Adequacy for Algebraic Effects.	FoSSaCS	2001	DBLP DOI BibTeX RDF
13	Tim Sheard	Generic Unification via Two-Level Types and Parameterized Modules.	ICFP	2001	DBLP DOI BibTeX RDF	parameterized modules, Haskell, generic programs, unification
13	Ross Paterson	A New Notation for Arrows.	ICFP	2001	DBLP DOI BibTeX RDF	Haskell
13	Alex K. Simpson, Gordon D. Plotkin	Complete Axioms for Categorical Fixed-Point Operators.	LICS	2000	DBLP DOI BibTeX RDF	iteration theories, fixed points, domain theory, Categorical models
13	Levent Erkök, John Launchbury	Recursive monadic bindings.	ICFP	2000	DBLP DOI BibTeX RDF	Haskell
13	Peter Aczel	Algebras and Coalgebras.	Algebraic and Coalgebraic Methods in the Mathematics of Program Construction	2000	DBLP DOI BibTeX RDF
13	Peter D. Mosses	Foundations of Modular SOS.	MFCS	1999	DBLP DOI BibTeX RDF
13	John Launchbury, Jeffrey R. Lewis, Byron Cook	On Embedding a Microarchitectural Design Language within Haskell.	ICFP	1999	DBLP DOI BibTeX RDF
13	Daan Leijen, Erik Meijer 0001	Domain specific embedded compilers.	DSL	1999	DBLP DOI BibTeX RDF
13	Thorsten Altenkirch, Bernhard Reus	Monadic Presentations of Lambda Terms Using Generalized Inductive Types.	CSL	1999	DBLP DOI BibTeX RDF	inductive types, Type Theory, category theory, ?-calculus
13	Andrew P. Tolmach	Optimizing ML Using a Hierarchy of Monadic Types.	Types in Compilation	1998	DBLP DOI BibTeX RDF
13	Richard J. Boulton	Generating Embeddings from Denotational Descriptions.	TPHOLs	1998	DBLP DOI BibTeX RDF
13	Richard B. Kieburtz	Taming Effects with Monadic Typing.	ICFP	1998	DBLP DOI BibTeX RDF	ML