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 |