Search results for "2-monads"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
141	Christoph Lüth, Neil Ghani	Composing monads using coproducts.	ICFP	2002	DBLP DOI BibTeX RDF
105	Chuan-Kai Lin	Programming monads operationally with Unimo.	ICFP	2006	DBLP DOI BibTeX RDF	unimo, haskell, monads, monad transformers
91	Christian Hofer, Klaus Ostermann	On the relation of aspects and monads.	FOAL	2007	DBLP DOI BibTeX RDF	aspect-oriented programming, aspects, monads, monad transformers
87	Sergey Goncharov 0001, Lutz Schröder, Till Mossakowski	Kleene Monads: Handling Iteration in a Framework of Generic Effects.	CALCO	2009	DBLP DOI BibTeX RDF
87	Lutz Schröder	Monads on Composition Graphs.	Appl. Categorical Struct.	2002	DBLP DOI BibTeX RDF	composition graph, Kleisli category, algebra, monad, adjunction
82	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
82	Philip Wadler	The Essence of Functional Programming.	POPL	1992	DBLP DOI BibTeX RDF
73	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
73	Robert Atkey	Algebras for Parameterised Monads.	CALCO	2009	DBLP DOI BibTeX RDF
73	Nick Benton, John Hughes 0001, Eugenio Moggi	Monads and Effects.	APPSEM	2000	DBLP DOI BibTeX RDF
64	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
59	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
59	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
59	Philip Wadler	The Marriage of Effects and Monads.	ICFP	1998	DBLP DOI BibTeX RDF
55	Rafael Caballero 0001, Francisco Javier López-Fraguas	Extensions: A Technique for Structuring Functional-Logic Programs.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
50	Dan P. Piponi	Commutative monads, diagrams and knots.	ICFP	2009	DBLP DOI BibTeX RDF	tensor networks, linear algebra, monads, knot theory
50	G. M. Kelly, Stephen Lack	Finite-product-preserving functors, Kan extensions, and strongly-finitary 2-monads.	Appl. Categorical Struct.	1993	DBLP DOI BibTeX RDF	Categories with structure, 2-monads, finite-product-preserving functors, Kan extensions
46	Erik Meijer 0001	Fundamentalist functional programming.	GPCE	2008	DBLP DOI BibTeX RDF	pure functional programming, concurrency, monads, lazy evaluation, linq
46	William L. Harrison	Proof Abstraction for Imperative Languages.	APLAS	2006	DBLP DOI BibTeX RDF	Program Specification and Verification, Monads, Language Semantics, Monad Transformers
46	Jean Goubault-Larrecq, Slawomir Lasota 0001, David Nowak	Logical Relations for Monadic Types.	CSL	2002	DBLP DOI BibTeX RDF	semantics, monads, logical relations, typed lambda-calculus
46	Patrik Eklund, María Ángeles Galán García	Partially Ordered Monads and Rough Sets.	Trans. Rough Sets	2008	DBLP DOI BibTeX RDF
46	Patrik Eklund, Maria A. Galán	Monads Can Be Rough.	RSCTC	2006	DBLP DOI BibTeX RDF
46	Christoph Lüth, Neil Ghani	Monads and Modularity.	FroCoS	2002	DBLP DOI BibTeX RDF
46	Taras Radul	Functional Representations of Lawson Monads.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	Lawson monad, functional representations
41	William L. Harrison, James Hook	Achieving Information Flow Security through Precise Control of Effects.	CSFW	2005	DBLP DOI BibTeX RDF
41	Dennis Walter, Lutz Schröder, Till Mossakowski	Parametrized Exceptions.	CALCO	2005	DBLP DOI BibTeX RDF
41	Lutz Schröder, Till Mossakowski	Monad-Independent Hoare Logic in HASCASL.	FASE	2003	DBLP DOI BibTeX RDF
41	Jürgen Koslowski	Beyond the Chu-construction.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	closed bicategory, *-autonomy, interpolad, module, monad
41	Philip S. Mulry	Lifting Theorems for Kleisli Categories.	MFPS	1993	DBLP DOI BibTeX RDF
37	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
37	Andrzej Filinski	Monads in action.	POPL	2010	DBLP DOI BibTeX RDF	modular semantics, monads, computational effects
37	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
37	Péter Kacsuk, Günter Haring, Szabolcs Ferenczi, Georg Pigel, Gábor Dózsa, Tibor Fadgyas	Visual Parallel Programming in Monads-DPV.	PDP	1996	DBLP DOI BibTeX RDF	layered visual parallel programming approach, Monads-DPV, very high level parallel programs, parallel programming, object-oriented programming, case studies, visual programming, visual languages, object oriented model, graphical notation, massively parallel processors
37	Jirí Adámek, Mahdieh Haddadi, Stefan Milius	Corecursive Algebras, Corecursive Monads and Bloom Monads.	Log. Methods Comput. Sci.	2014	DBLP DOI BibTeX RDF
32	Bruno C. d. S. Oliveira, Tom Schrijvers, William R. Cook	EffectiveAdvice: disciplined advice with explicit effects.	AOSD	2010	DBLP DOI BibTeX RDF	AOP, interference, monads, parametricity, mixins
32	Andrew Kennedy	Compiling with continuations, continued.	ICFP	2007	DBLP DOI BibTeX RDF	continuations, monads, optimizing compilation, continuation passing style, functional programming languages
32	Eric Kow	GenI: natural language generation in Haskell.	Haskell	2006	DBLP DOI BibTeX RDF	realisation, typeclasses, applications, profiling, Haskell, surface, monads, computational linguistics
32	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
32	George Voutsadakis	Categorical Abstract Algebraic Logic: Algebraizable Institutions.	Appl. Categorical Struct.	2002	DBLP DOI BibTeX RDF	equivalent deductive systems, equivalent institutions, algebraic institutions, equivalent categories, algebraizable institutions, clone algebras, substitution algebras, polyadic algebras, diagram-based logics, first-order logic, monads, institutions, equational logic, algebraic logic, algebraizable logics, adjunctions, algebraic theories, cylindric algebras, triples
32	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
32	Peter Thiemann 0001	WASH/CGI: Server-Side Web Scripting with Sessions and Typed, Compositional Forms.	PADL	2002	DBLP DOI BibTeX RDF	CGI Programming, Haskell, Monads
32	Dominic Duggan	A Mixin-Based, Semantics-Based Approach to Reusing Domain-Specific Programming Languages.	ECOOP	2000	DBLP DOI BibTeX RDF	Domain-specific programming languages, modular interpreters, mixin-based inheritance, Java, monads
32	Jirí Adámek, Stefan Milius, Jirí Velebil	A Description of Iterative Reflections of Monads (Extended Abstract).	FoSSaCS	2009	DBLP DOI BibTeX RDF
32	Janis Voigtländer	Asymptotic Improvement of Computations over Free Monads.	MPC	2008	DBLP DOI BibTeX RDF
32	Peter D. Mosses	VDM Semantics of Programming Languages: Combinators and Monads.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF
32	Jacques Carette, Oleg Kiselyov	Multi-stage Programming with Functors and Monads: Eliminating Abstraction Overhead from Generic Code.	GPCE	2005	DBLP DOI BibTeX RDF
32	Gordon D. Plotkin, John Power	Notions of Computation Determine Monads.	FoSSaCS	2002	DBLP DOI BibTeX RDF
32	Magnus Carlsson	Monads for incremental computing.	ICFP	2002	DBLP DOI BibTeX RDF
32	Guy L. Steele Jr.	Building Interpreters by Composing Monads.	POPL	1994	DBLP DOI BibTeX RDF
32	Philip Wadler	Comprehending Monads.	LISP and Functional Programming	1990	DBLP DOI BibTeX RDF
32	Éric Badouel	Terms and Infinite Trees as Monads Over a Signature.	TAPSOFT, Vol.1	1989	DBLP DOI BibTeX RDF
27	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
27	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
27	Jean Goubault-Larrecq	Continuous Previsions.	CSL	2007	DBLP DOI BibTeX RDF
27	Till Mossakowski	Monad-Based Logics for Computational Effects.	AMAST	2006	DBLP DOI BibTeX RDF
27	William L. Harrison	The Essence of Multitasking.	AMAST	2006	DBLP DOI BibTeX RDF
27	Alberto Pardo	Combining Datatypes and Effects.	Advanced Functional Programming	2004	DBLP DOI BibTeX RDF
27	Olivier Danvy, Bernd Grobauer, Morten Rhiger	A Unifying Approach to Goal-Directed Evaluation.	SAIG	2001	DBLP DOI BibTeX RDF
27	Thomas Frauenstein, Wolfgang Grieskamp, Peter Pepper, Mario Südholt	Communicating Functional Agents and Their Application to Graphical User Interfaces.	Ershov Memorial Conference	1996	DBLP DOI BibTeX RDF
27	G. M. Kelly, Stephen Lack, Robert F. C. Walters	Coinverters and categories of fractions for categories with structure.	Appl. Categorical Struct.	1993	DBLP DOI BibTeX RDF	Category of fractions, coinverter, reflexive coinverter, categories with structure
18	Yingzhou Zhang, Wei Fu, Lei Chen 0011, Bihuan Xu	A Formal Model of Service Computing and Its Applications on Service Discovery.	ICWS	2011	DBLP DOI BibTeX RDF	coalgebraic methods, web services, program slicing, monads, service computing
18	Aleksandar Nanevski, Viktor Vafeiadis, Josh Berdine	Structuring the verification of heap-manipulating programs.	POPL	2010	DBLP DOI BibTeX RDF	type theory, monads, hoare logic, separation logic
18	Alex Simpson	Linear types for computational effects.	POPL	2009	DBLP DOI BibTeX RDF	computational monads, linear logic, computational effects
18	Sebastian Fischer 0001, Oleg Kiselyov, Chung-chieh Shan	Purely functional lazy non-deterministic programming.	ICFP	2009	DBLP DOI BibTeX RDF	call-time choice, continuations, monads, side effects
18	Aleksandar Nanevski, Paul Govereau, Greg Morrisett	Towards type-theoretic semantics for transactional concurrency.	TLDI	2009	DBLP DOI BibTeX RDF	type theory, monads, hoare logic, separation logic
18	Arthur Charguéraud, François Pottier	Functional translation of a calculus of capabilities.	ICFP	2008	DBLP DOI BibTeX RDF	type systems, effects, monads, aliasing, linearity, capabilities, regions, ownership
18	Aleksandar Nanevski, Greg Morrisett, Avraham Shinnar, Paul Govereau, Lars Birkedal	Ynot: dependent types for imperative programs.	ICFP	2008	DBLP DOI BibTeX RDF	type theory, monads, Hoare logic, separation logic
18	Ravi Nanavati	Experience report: a pure shirt fits.	ICFP	2008	DBLP DOI BibTeX RDF	functional programming, Haskell, monads, Bluespec
18	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
18	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
18	Andrzej Filinski, Kristian Støvring	Inductive reasoning about effectful data types.	ICFP	2007	DBLP DOI BibTeX RDF	abstract effects, streams, monads, backtracking, logical relations, recursive types, equational reasoning
18	Glynn Winskel	Symmetry and Concurrency.	CALCO	2007	DBLP DOI BibTeX RDF	higher order processes, nondeterministic dataflow, higher dimensional automata, Petri nets, symmetry, unfolding, Event structures, spans, pseudo monads
18	Neil Ghani, Tarmo Uustalu, Makoto Hamana	Explicit substitutions and higher-order syntax.	High. Order Symb. Comput.	2006	DBLP DOI BibTeX RDF	Algebras, Monads, Abstract syntax, Explicit substitutions, Variable binding
18	Kedar N. Swadi, Walid Taha, Oleg Kiselyov, Emir Pasalic	A monadic approach for avoiding code duplication when staging memoized functions.	PEPM	2006	DBLP DOI BibTeX RDF	partial evaluation, monads, fixed points, program generation, program specialization, staging, multi-stage programming, code duplication
18	Oleg Kiselyov, Chung-chieh Shan, Amr Sabry	Delimited dynamic binding.	ICFP	2006	DBLP DOI BibTeX RDF	monads, dynamic binding, delimited continuations
18	Malcolm Dowse, Andrew Butterfield	Modelling deterministic concurrent I/O.	ICFP	2006	DBLP DOI BibTeX RDF	concurrency, determinism, effects, monads, I/O
18	Kevin Donnelly, Matthew Fluet	Transactional events.	ICFP	2006	DBLP DOI BibTeX RDF	first-class events, synchronous message passing, concurrency, transactions, monads
18	Philip Derrin, Kevin Elphinstone, Gerwin Klein, David A. Cock, Manuel M. T. Chakravarty	Running the manual: an approach to high-assurance microkernel development.	Haskell	2006	DBLP DOI BibTeX RDF	formalisation, verification, operating systems, rapid prototyping, Haskell, monads, executable specification, Isabelle/HOL
18	George Voutsadakis	Categorical abstract algebraic logic categorical algebraization of first-order logic without terms.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF	Equivalent deductive systems, Equivalent institutions, Algebraizable institutions, Polyadic algebras, First-order logic, Monads, Institutions, Algebraic logic, Algebraizable logics, Adjunctions, Algebraic theories, Cylindric algebras, Triples
18	Thomas Hallgren, Mark P. Jones, Rebekah Leslie, Andrew P. Tolmach	A principled approach to operating system construction in Haskell.	ICFP	2005	DBLP DOI BibTeX RDF	hardware interface, verification, operating systems, Haskell, monads, programming logic
18	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
18	Stephen Tse, Steve Zdancewic	Translating dependency into parametricity.	ICFP	2004	DBLP DOI BibTeX RDF	DCC, protection contexts, security, dependency, Haskell, information flow, translation, polymorphism, lambda calculus, monads, parametricity, noninterference, logical relations
18	Mitchell Wand, Dale Vaillancourt	Relating models of backtracking.	ICFP	2004	DBLP DOI BibTeX RDF	two-continuation semantics, streams, monads, logical relations, adequacy
18	Neil Ghani, Tarmo Uustalu	Explicit substitutions and higher-order syntax.	MERLIN	2003	DBLP DOI BibTeX RDF	algebras, monads, abstract syntax, explicit substitutions, variable binding
18	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
18	Eneia Todoran, Nikolaos Papaspyrou	Continuations for parallel logic programming.	PPDP	2000	DBLP DOI BibTeX RDF	basic Andorra model, Haskell, continuations, monads, denotational semantics, parallel logic programming
18	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
18	Enno Scholz	Imperative Streams - A Monadic Combinator Library for Synchronous Programming.	ICFP	1998	DBLP DOI BibTeX RDF	Haskell, monads, synchronous languages, interactive graphics
18	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
18	Dirk Dussart, John Hughes, Peter Thiemann 0001	Type Specialization for Imperative Languages.	ICFP	1997	DBLP DOI BibTeX RDF	program transformation, type systems, monads, specialisation
18	Huijun Hou, Hualin Miao, Qingguo Li	The order-K-ification monads.	Math. Struct. Comput. Sci.	2024	DBLP DOI BibTeX RDF
18	Vincent Moreau	Profinite trees, through monads and the lambda-calculus.	CoRR	2024	DBLP DOI BibTeX RDF
18	Sergey Goncharov 0001	Representing Guardedness in Call-by-Value and Guarded Parametrized Monads.	CoRR	2024	DBLP DOI BibTeX RDF
18	Rasmus Ejlers Møgelberg, Maaike Zwart	What Monads Can and Cannot Do with a Bit of Extra Time.	CSL	2024	DBLP DOI BibTeX RDF
18	Swaraj Dash, Younesse Kaddar, Hugo Paquet, Sam Staton	Affine Monads and Lazy Structures for Bayesian Programming.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
18	Thomas Bourgeat, Ian Clester, Andres Erbsen, Samuel Gruetter, Pratap Singh, Andy Wright, Adam Chlipala	Flexible Instruction-Set Semantics via Abstract Monads (Experience Report).	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
18	Tetsuya Sato 0001, Shin-ya Katsumata	Divergences on monads for relational program logics.	Math. Struct. Comput. Sci.	2023	DBLP DOI BibTeX RDF
18	Aryan Ghobadi	Hopf Monads: A Survey with New Examples and Applications.	Appl. Categorical Struct.	2023	DBLP DOI BibTeX RDF
18	Rory B. B. Lucyshyn-Wright, Jason Parker	Diagrammatic Presentations of Enriched Monads and Varieties for a Subcategory of Arities.	Appl. Categorical Struct.	2023	DBLP DOI BibTeX RDF
18	Gabriele Lobbia	Distributive Laws for Relative Monads.	Appl. Categorical Struct.	2023	DBLP DOI BibTeX RDF