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 |
|