Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
18 | Mikolaj Bojanczyk |
Two monads for graphs. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
18 | Exequiel Rivas |
Relating Idioms, Arrows and Monads from Monoidal Adjunctions. |
MSFP@FSCD |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Ulrich Dorsch, Stefan Milius, Lutz Schröder |
Graded Monads for the Linear Time - Branching Time Spectrum. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
18 | Shin-ya Katsumata, Tetsuya Sato 0001, Tarmo Uustalu |
Codensity Lifting of Monads and its Dual. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
18 | Richard Garner |
Hypernormalisation, linear exponential monads and the Giry tricocycloid. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
18 | Tobias Fritz, Paolo Perrone |
Monads, partial evaluations, and rewriting. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
18 | Tobias Fritz, Paolo Perrone |
Bimonoidal Structure of Probability Monads. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
18 | Shin-ya Katsumata, Tetsuya Sato 0001, Tarmo Uustalu |
Codensity Lifting of Monads and its Dual. |
Log. Methods Comput. Sci. |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Richard Garner, Tom Hirschowitz |
Shapely monads and analytic functors. |
J. Log. Comput. |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Fredrik Dahlqvist, Louis Parlant, Alexandra Silva 0001 |
Layer by Layer - Combining Monads. |
ICTAC |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Timothy A. V. Teatro, J. Mikael Eklund, Ruth Milman |
Maybe and Either Monads in Plain C++ 17. |
CCECE |
2018 |
DBLP DOI BibTeX RDF |
|
18 | Jan Bracker |
Unified notions of generalised monads and applicative functors. |
|
2018 |
RDF |
|
18 | Justyna Grudzinska, Marek W. Zawadowski |
Scope ambiguities, monads and strengths. |
J. Lang. Model. |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Adriana Balan |
On Hopf Adjunctions, Hopf Monads and Frobenius-Type Properties. |
Appl. Categorical Struct. |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Taras Radul |
Absolute Extensors and Binary Monads. |
Appl. Categorical Struct. |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Oleg Kiselyov |
Effects Without Monads: Non-determinism - Back to the Meta Language. |
ML/OCaml |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Fredrik Dahlqvist, Louis Parlant, Alexandra Silva 0001 |
Layer by layer - Combining Monads. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
18 | Mai Gehrke, Daniela Petrisan, Luca Reggio |
Quantifiers on languages and codensity monads. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
18 | Furio Honsell, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto |
LLFP: a logical framework for modeling external evidence, side conditions, and proof irrelevance using monads. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
18 | Ugo Dal Lago, Francesco Gavazzo, Paul Blain Levy |
Effectful Applicative Bisimilarity: Monads, Relators, and Howe's Method (Long Version). |
CoRR |
2017 |
DBLP BibTeX RDF |
|
18 | Furio Honsell, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto |
LLF: a logical framework for modeling external evidence, side conditions, and proof irrelevance using monads. |
Log. Methods Comput. Sci. |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Decheng Miao, Jianqing Xi, Jindian Su |
形式语言基于Monads的语义计算模型 (Semantics Computational Model of Formal Languages Based on Monads). |
计算机科学 |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Jiri Mockor |
Categories of fuzzy type automata in monads. |
FUZZ-IEEE |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Mai Gehrke, Daniela Petrisan, Luca Reggio |
Quantifiers on languages and codensity monads. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Ugo Dal Lago, Francesco Gavazzo, Paul Blain Levy |
Effectful applicative bisimilarity: Monads, relators, and Howe's method. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Danel Ahman, Catalin Hritcu, Kenji Maillard, Guido Martínez, Gordon D. Plotkin, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy |
Dijkstra monads for free. |
POPL |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Ismael Figueroa |
A preliminary assessment of how monads are used in Haskell. |
SBLP |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Tarmo Uustalu, Niccolò Veltri |
Partiality and Container Monads. |
APLAS |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Daan Leijen |
Implementing Algebraic Effects in C - "Monads for Free in C". |
APLAS |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Tarmo Uustalu |
Container Combinatorics: Monads and Lax Monoidal Functors. |
TTCS |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Justin Dawson, Mark Grebe, Andy Gill |
Composable network stacks and remote monads. |
Haskell |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Sergey Goncharov 0001, Stefan Milius, Christoph Rauch |
Complete Elgot Monads and Coalgebraic Resumptions. |
MFPS |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Bart Jacobs 0001 |
Effectuses from Monads. |
MFPS |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Neil Ghani, Peter G. Hancock |
Containers, monads and induction recursion. |
Math. Struct. Comput. Sci. |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Benedikt Ahrens |
Modules over relative monads for syntax and semantics. |
Math. Struct. Comput. Sci. |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Shilong Zhang, Li Guo 0003, William F. Keigher |
Monads and distributive laws for Rota-Baxter and differential algebras. |
Adv. Appl. Math. |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Danel Ahman, Catalin Hritcu, Guido Martínez, Gordon D. Plotkin, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy |
Dijkstra Monads for Free. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
18 | Sergey Goncharov 0001, Stefan Milius, Christoph Rauch |
Complete Elgot Monads and Coalgebraic Resumptions. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
18 | Benedikt Ahrens, Ralph Matthes, Anders Mörtberg |
From signatures to monads in UniMath. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
18 | Niki Vazou, Daan Leijen |
From Monads to Effects and Back. |
PADL |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Bart Jacobs 0001 |
Affine Monads and Side-Effect-Freeness. |
CMCS |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Thomas Schmitz 0001, Dustin Rhodes, Thomas H. Austin, Kenneth L. Knowles, Cormac Flanagan |
Faceted Dynamic Information Flow via Control and Data Monads. |
POST |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Liang-Ting Chen 0001, Jirí Adámek, Stefan Milius, Henning Urbat |
Profinite Monads, Profinite Equations, and Reiterman's Theorem. |
FoSSaCS |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Soichiro Fujii, Shin-ya Katsumata, Paul-André Melliès |
Towards a Formal Theory of Graded Monads. |
FoSSaCS |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Christoph Höger |
Modeling with monads: extensible modeling semantics as syntactic sugar. |
EOOLT |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Maciej Piróg, Nicolas Wu |
String diagrams for free monads (functional pearl). |
ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Stanislaw Szawiel, Marek W. Zawadowski |
Monads of Regular Theories. |
Appl. Categorical Struct. |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Bachuki Mesablishvili, Robert Wisbauer |
Azumaya Monads and Comonads. |
Axioms |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Ichiro Hasuo |
Generic weakest precondition semantics from monads enriched with order. |
Theor. Comput. Sci. |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Bart Jacobs 0001 |
Dijkstra and Hoare monads in monadic computation. |
Theor. Comput. Sci. |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens |
Notions of bidirectional computation and entangled state monads. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
18 | Richard Garner, Tom Hirschowitz |
Shapely monads and analytic functors. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
18 | Mikolaj Bojanczyk |
Recognisable languages over monads. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
18 | Liang-Ting Chen 0001, Jirí Adámek, Stefan Milius, Henning Urbat |
Profinite Monads, Profinite Equations and Reiterman's Theorem. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
18 | Rory B. B. Lucyshyn-Wright |
Enriched algebraic theories and monads for a system of arities. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
18 | Thorsten Altenkirch, James Chapman 0001, Tarmo Uustalu |
Monads need not be endofunctors. |
Log. Methods Comput. Sci. |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Tomasz Brengos |
Weak bisimulation for coalgebras over order enriched monads. |
Log. Methods Comput. Sci. |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens |
Notions of Bidirectional Computation and Entangled State Monads. |
MPC |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Mikolaj Bojanczyk |
Recognisable Languages over Monads. |
DLT |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Shin-ya Katsumata, Tetsuya Sato 0001 |
Codensity Liftings of Monads. |
CALCO |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Stefan Milius, Dirk Pattinson, Lutz Schröder |
Generic Trace Semantics and Graded Monads. |
CALCO |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Maciej Piróg, Nicolas Wu, Jeremy Gibbons |
Modules Over Monads and Their Algebras. |
CALCO |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Adam Scibior, Zoubin Ghahramani, Andrew D. Gordon 0001 |
Practical probabilistic programming with monads. |
Haskell |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Oleg Kiselyov, Hiromi Ishii |
Freer monads, more extensible effects. |
Haskell |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Stanislaw Szawiel, Marek W. Zawadowski |
Theories of analytic monads. |
Math. Struct. Comput. Sci. |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Alexander V. Zhozhikashvili |
Monads for the formalization of a pattern matching procedure. |
Program. Comput. Softw. |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Thorsten Altenkirch, James Chapman 0001, Tarmo Uustalu |
Relative Monads Formalised. |
J. Formaliz. Reason. |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Jirí Adámek, Nathan J. Bowler, Paul Blain Levy, Stefan Milius |
Coproducts of Monads on Set. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
18 | Sergey Goncharov 0001, Dirk Pattinson |
Coalgebraic Weak Bisimulation from Recursive Equations over Monads. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
18 | Dominic A. Orchard, Tomas Petricek 0001, Alan Mycroft |
The semantic marriage of monads and effects. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
18 | Jirí Adámek |
Colimits of Monads. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
18 | Christian Sternagel, René Thiemann |
Certification Monads. |
Arch. Formal Proofs |
2014 |
DBLP BibTeX RDF |
|
18 | Ichiro Hasuo |
Generic Weakest Precondition Semantics from Monads Enriched with Order. |
CMCS |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Bart Jacobs 0001 |
Dijkstra Monads in Monadic Computation. |
CMCS |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Shin-ya Katsumata |
Parametric effect monads and semantics of effect systems. |
POPL |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Sergey Goncharov 0001, Dirk Pattinson |
Coalgebraic Weak Bisimulation from Recursive Equations over Monads. |
ICALP (2) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Furio Honsell, Luigi Liquori, Ivan Scagnetto |
L ax F: Side Conditions and External Evidence as Monads. |
MFCS (1) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Gianluca Giorgolo, Ash Asudeh |
Monads for composing categorical and probabilistic meanings. |
ISAIM |
2014 |
DBLP BibTeX RDF |
|
18 | James Cheney, James McKinna, Perdita Stevens, Jeremy Gibbons, Faris Abou-Saleh |
Entangled State Monads. |
EDBT/ICDT Workshops |
2014 |
DBLP BibTeX RDF |
|
18 | Maciej Piróg, Jeremy Gibbons |
Monads for Behaviour. |
MFPS |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Weng Kin Ho |
Characterising E-projectives via Co-monads. |
ISDT |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Christopher F. Townsend |
Representing Geometric Morphisms Using Power Locale Monads. |
Appl. Categorical Struct. |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Giovanni Birolo |
Interactive Realizability, Monads and Witness Extraction |
CoRR |
2013 |
DBLP BibTeX RDF |
|
18 | Ábel Sinkovics, Zoltán Porkoláb |
Implementing monads for C++ template metaprograms. |
Sci. Comput. Program. |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Jirí Adámek, Stefan Milius, Jirí Velebil |
How iterative reflections of monads are constructed. |
Inf. Comput. |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Dion Coumans, Bart Jacobs 0001 |
Scalars, Monads, and Categories. |
Quantum Physics and Linguistics |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Shin-ya Katsumata, Tetsuya Sato 0001 |
Preorders on Monads and Coalgebraic Simulations. |
FoSSaCS |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Danel Ahman, Tarmo Uustalu |
Update Monads: Cointerpreting Directed Containers. |
TYPES |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Jan Dzik, Nick Palladinos, Konstantinos Rontogiannis, Eirik Tsarpalis, Nikolaos Vathis |
MBrace: cloud computing with monads. |
PLOS@SOSP |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Ismael Figueroa, Nicolas Tabareau, Éric Tanter |
Taming aspects with monads and membranes. |
FOAL |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Ismael Figueroa |
Towards control of aspect interference using membranes and monads. |
AOSD (Companion) |
2013 |
DBLP DOI BibTeX RDF |
|
18 | A. Barbara Ainsworth, Chris Avram, Judy Sheard |
The Relevance of Computing Research History - The Monads-PC: A Case Study. |
HC |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Jerônimo da Cunha Ramos, André Rauber Du Bois, Maurício Lima Pilla |
A Domain Specific Language based on Monads for Distributed Transactional Memory in Java. |
WEIT |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Oleh R. Nykyforchyn |
Adjoints and Monads Related to Compact Lattices and Compact Lawson Idempotent Semimodules. |
Order |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Mike Behrisch, Sebastian Kerkhoff, John Power |
Category Theoretic Understandings of Universal Algebra and its Dual: Monads and Lawvere Theories, Comonads and What? |
MFPS |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Jirí Adámek, Stefan Milius, Nathan J. Bowler, Paul Blain Levy |
Coproducts of Monads on Set. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Eugen Jiresch, Bernhard Gramlich |
Realizing Monads in Interaction Nets via Generic Typed Rules. |
TAMC |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Jeremy Gibbons |
Unifying Theories of Programming with Monads. |
UTP |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Ingo Battenfeld, Matthias Schröder 0001 |
Observationally-induced Effect Monads: Upper and Lower Powerspace Constructions. |
MFPS |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Jirí Velebil, Alexander Kurz 0001 |
Equational presentations of functors and monads. |
Math. Struct. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|