The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for monads with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1976-1991 (15) 1992-1994 (18) 1995-1997 (16) 1998-1999 (21) 2000-2001 (21) 2002 (19) 2003-2004 (20) 2005-2006 (38) 2007 (17) 2008 (17) 2009 (18) 2010-2011 (30) 2012-2013 (19) 2014 (16) 2015 (18) 2016 (15) 2017 (19) 2018 (24) 2019 (21) 2020 (19) 2021-2022 (35) 2023 (19) 2024 (4)
Publication types (Num. hits)
article(173) incollection(1) inproceedings(278) phdthesis(7)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 310 occurrences of 176 keywords

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