Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
21 | Jirí Adámek, Liang-Ting Chen 0001, Stefan Milius, Henning Urbat |
Reiterman's Theorem on Finite Algebras for a Monad. |
ACM Trans. Comput. Log. |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Johannes Hartmann |
Finding optimal strategies in sequential games with the novel selection monad. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
21 | Jirí Adámek, Liang-Ting Chen 0001, Stefan Milius, Henning Urbat |
Reiterman's Theorem on Finite Algebras for a Monad. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
21 | Shin-Cheng Mu |
Equational reasoning for non-determinism monad: the case of Spark aggregation. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
21 | Andrei Constantin, Thomas R. Harvey, André Lukas |
Heterotic String Model Building with Monad Bundles and Reinforcement Learning. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
21 | Xiaodong Jia 0002, Michael W. Mislove, Vladimir Zamdzhiev |
The Central Valuations Monad. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
21 | Wei Yao, Yueli Yue |
Algebraic representation of frame-valued continuous lattices via the open filter monad. |
Fuzzy Sets Syst. |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Reynald Affeldt, Jacques Garrigue, David Nowak, Takafumi Saikawa |
A trustful monad for axiomatic reasoning with probability and nondeterminism. |
J. Funct. Program. |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Martín Abadi, Gordon D. Plotkin |
Smart Choices and the Selection Monad. |
LICS |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Ugo de'Liguoro, Riccardo Treglia |
A Filter Model for the State Monad. |
ICTCS |
2021 |
DBLP BibTeX RDF |
|
21 | Pierre Nigron, Pierre-Évariste Dagand |
Reaching for the Star: Tale of a Monad in Coq. |
ITP |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Xiaodong Jia 0002, Michael W. Mislove, Vladimir Zamdzhiev |
The Central Valuations Monad (Early Ideas). |
CALCO |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Xiaodong Jia 0002 |
The Order-Sobrification Monad. |
Appl. Categorical Struct. |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Richard Garner |
The Vietoris Monad and Weak Distributive Laws. |
Appl. Categorical Struct. |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Martín Abadi, Gordon D. Plotkin |
Smart Choices and the Selection Monad. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
21 | Reynald Affeldt, David Nowak |
Extending Equational Monadic Reasoning with Monad Transformers. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
21 | Reynald Affeldt, Jacques Garrigue, David Nowak, Takafumi Saikawa |
A Trustful Monad for Axiomatic Reasoning with Probability and Nondeterminism. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
21 | Swaraj Dash, Sam Staton |
A Monad for Probabilistic Point Processes. |
ACT |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Dusko Pavlovic, Dominic J. D. Hughes |
The nucleus of an adjunction and the Street monad on monads. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
21 | Martin Hyland, Christine Tasson |
The linear-non-linear substitution 2-monad. |
ACT |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Stefan Zetzsche, Alexandra Silva 0001, Matteo Sammartino |
Bases for algebras over a monad. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
21 | Yueli Yue, Jinming Fang |
The ⊤-filter monad and its applications. |
Fuzzy Sets Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
21 | David Janin |
A Timed IO Monad. |
PADL |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Tian Zhao 0002, Adam Berger, Yonglun Li |
Asynchronous monad for reactive IoT programming. |
REBLS@SPLASH |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Reynald Affeldt, David Nowak |
Extending Equational Monadic Reasoning with Monad Transformers. |
TYPES |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Andrej Ivaskovic, Alan Mycroft |
A graded Monad for deadlock-free concurrency (functional pearl). |
Haskell@ICFP |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Louis Parlant |
Monad composition via preservation of algebras. |
|
2020 |
RDF |
|
21 | Jean Goubault-Larrecq, Xiaodong Jia 0002 |
Algebras of the Extended Probabilistic Powerdomain Monad. |
ISDT |
2019 |
DBLP DOI BibTeX RDF |
|
21 | James Chapman 0001, Tarmo Uustalu, Niccolò Veltri |
Quotienting the delay monad by weak bisimilarity. |
Math. Struct. Comput. Sci. |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Sandra Dylus, Jan Christiansen, Finn Teegen |
One Monad to Prove Them All. |
Art Sci. Eng. Program. |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Dexter Kozen |
Natural Transformations as Rewrite Rules and Monad Composition. |
Log. Methods Comput. Sci. |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Giulia Frosoni, Giuseppe Rosolini, Alessio Santamaria |
Frames and topological algebras for a double-power monad. |
J. Log. Anal. |
2019 |
DBLP BibTeX RDF |
|
21 | Robin Kaarsgaard, Niccolò Veltri |
En Garde! Unguarded Iteration for Reversible Computation in the Delay Monad. |
MPC |
2019 |
DBLP DOI BibTeX RDF |
|
21 | David Janin |
Screaming in the IO monad: a realtime audio processing and control experiment in Haskell. |
FARM@ICFP |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Tom Schrijvers, Maciej Piróg, Nicolas Wu, Mauro Jaskelioff |
Monad transformers and modular algebraic effects: what binds them together. |
Haskell@ICFP |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Bartek Klin, Julian Salamanca |
Iterated Covariant Powerset is not a Monad. |
MFPS |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Jan Christiansen, Sandra Dylus, Finn Teegen |
One Monad to Prove Them All (Functional Pearl). |
CoRR |
2018 |
DBLP BibTeX RDF |
|
21 | Tobias Fritz, Paolo Perrone |
Stochastic order on metric spaces and the ordered Kantorovich monad. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
21 | Richard Garner, John Power |
An enriched view on the extended finitary monad-Lawvere theory correspondence. |
Log. Methods Comput. Sci. |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Koki Nishizawa, Norihiro Tsumagari |
Composition of Different-Type Relations via the Kleisli Category for the Continuation Monad. |
RAMiCS |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Justin Troy Dawson |
The Remote Monad. |
|
2018 |
RDF |
|
21 | Paul-André Melliès |
The parametric continuation monad. |
Math. Struct. Comput. Sci. |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Andrew Salch |
How many Adjunctions give Rise to the same Monad? |
Appl. Categorical Struct. |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Ohad Kammar, Paul Blain Levy, Sean K. Moss, Sam Staton |
A monad for full ground reference cells. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
21 | Samson Abramsky, Rui Soares Barbosa, Nadish de Silva, Octavio Zapata |
The Quantum Monad on Relational Structures. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
21 | Tobias Fritz, Paolo Perrone |
A Probability Monad as the Colimit of Finite Powers. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
21 | Ernst-Erich Doberkat |
Using Coalgebras and the Giry Monad for Interpreting Game Logics - A Tutorial. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
21 | Maria Manuel Clementino, Ignacio López Franco |
Lax orthogonal factorisations in monad-quantale-enriched categories. |
Log. Methods Comput. Sci. |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Joshua Schneider 0001, Manuel Eberl, Andreas Lochbihler |
Monad normalisation. |
Arch. Formal Proofs |
2017 |
DBLP BibTeX RDF |
|
21 | Ernst-Erich Doberkat |
Using coalgebras and the Giry monad for interpreting game logics - a tutorial. |
Frontiers Comput. Sci. |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Tarmo Uustalu, Niccolò Veltri |
The Delay Monad and Restriction Categories. |
ICTAC |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Ohad Kammar, Paul Blain Levy, Sean K. Moss, Sam Staton |
A monad for full ground reference cells. |
LICS |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Thorsten Altenkirch, Nils Anders Danielsson, Nicolai Kraus |
Partiality, Revisited - The Partiality Monad as a Quotient Inductive-Inductive Type. |
FoSSaCS |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Samson Abramsky, Rui Soares Barbosa, Nadish de Silva, Octavio Zapata |
The Quantum Monad on Relational Structures. |
MFCS |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Phuong Nguyen, Klara Nahrstedt |
MONAD: Self-Adaptive Micro-Service Infrastructure for Heterogeneous Scientific Workflows. |
ICAC |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Maximilian Algehed, Patrik Jansson |
VisPar: visualising dataflow graphs from the Par Monad. |
FHPC@ICFP |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Alex Simpson |
Probability Sheaves and the Giry Monad. |
CALCO |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Jennifer Paykin, Steve Zdancewic |
The linearity Monad. |
Haskell |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Tyler Barker |
A Monad for Randomized Algorithms. |
MFPS |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Dexter Kozen |
Natural Transformations as Rewrite Rules and Monad Composition. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
21 | Maciej Piróg |
Eilenberg-Moore Monoids and Backtracking Monad Transformers. |
MSFP |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Thorsten Altenkirch, Nils Anders Danielsson, Nicolai Kraus |
Partiality, Revisited: The Partiality Monad as a Quotient Inductive-Inductive Type. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
21 | Bart Jacobs 0001, Jorik Mandemaker, Robert Furber |
The expectation monad in quantum foundations. |
Inf. Comput. |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Mark Grebe, Andy Gill |
Haskino: A Remote Monad for Programming the Arduino. |
PADL |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Konrad Grzanek |
Forward Chaining with State Monad. |
ICAISC (2) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Atze van der Ploeg, Koen Claessen, Pablo Buiras |
The Key monad: type-safe unconstrained dynamic typing. |
Haskell |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Gejza Jenca |
Effect Algebras are the Eilenberg-Moore Category for the Kalmbach Monad. |
Order |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Jules Hedges |
The selection monad as a CPS transformation. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
21 | Beta Ziliani, Derek Dreyer, Neelakantan R. Krishnaswami, Aleksandar Nanevski, Viktor Vafeiadis |
Mtac: A monad for typed tactic programming in Coq. |
J. Funct. Program. |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Jonathan Protzenko |
Functional Pearl: the Proof Search Monad. |
IWIL@LPAR |
2015 |
DBLP DOI BibTeX RDF |
|
21 | James Chapman 0001, Tarmo Uustalu, Niccolò Veltri |
Quotienting the Delay Monad by Weak Bisimilarity. |
ICTAC |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Michael Johnson, Robert D. Rosebrugh |
Distributing Commas, and the Monad of Anchored Spans. |
Bx@STAF |
2015 |
DBLP BibTeX RDF |
|
21 | Andy Gill, Neil Sculthorpe, Justin Dawson, Aleksander Eskilson, Andrew Farmer, Mark Grebe, Jeffrey Rosenbluth, Ryan Scott, James Stanton |
The remote monad design pattern. |
Haskell |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Maciej Piróg, Jeremy Gibbons |
The Coinductive Resumption Monad. |
MFPS |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Tetsuya Sato 0001 |
Identifying All Preorders on the Subdistribution Monad. |
MFPS |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Jean-Guillaume Dumas, Dominique Duval, Jean-Claude Reynaud |
Breaking a monad-comonad symmetry between computational effects. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
21 | Andreas Abel 0001, James Chapman 0001 |
Normalization by Evaluation in the Delay Monad: A Case Study for Coinduction via Copatterns and Sized Types. |
MSFP |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Jules Hedges |
Monad Transformers for Backtracking Search. |
MSFP |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Philip S. Mulry |
Notions of Monad Strength. |
Festschrift for Dave Schmidt |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Jean-Guillaume Dumas, Dominique Duval, Jean-Claude Reynaud |
Patterns for computational effects arising from a monad or a comonad. |
CoRR |
2013 |
DBLP BibTeX RDF |
|
21 | Nathan J. Bowler, Sergey Goncharov 0001, Paul Blain Levy, Lutz Schröder |
Exploring the Boundaries of Monad Tensorability on Set. |
Log. Methods Comput. Sci. |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Beta Ziliani, Derek Dreyer, Neelakantan R. Krishnaswami, Aleksandar Nanevski, Viktor Vafeiadis |
Mtac: a monad for typed tactic programming in Coq. |
ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Neil Sculthorpe, Jan Bracker, George Giorgidze, Andy Gill |
The constrained-monad problem. |
ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Nikhil Swamy, Joel Weinberger, Cole Schlesinger, Juan Chen 0002, Benjamin Livshits |
Verifying higher-order programs with the dijkstra monad. |
PLDI |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Juan David Villa, Jaime Chavarriaga, Rubby Casallas |
MONAD: A Model Driven Software Product Line to Create Domain Specific Websites. |
WEBIST |
2013 |
DBLP BibTeX RDF |
|
21 | Yoshihiro Maruyama |
Categorical Duality Theory: With Applications to Domains, Convexity, and the Distribution Monad. |
CSL |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Oleg Kiselyov, Amr Sabry, Cameron Swords |
Extensible effects: an alternative to monad transformers. |
Haskell |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Bruno Crestani Calegaro, Juliana Kaizer Vizzotto |
Quantum Monad Using Java Closures. |
WEIT |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Brian Huffman |
Formal Verification of Monad Transformers |
CoRR |
2012 |
DBLP BibTeX RDF |
|
21 | Brian Huffman |
Type Constructor Classes and Monad Transformers. |
Arch. Formal Proofs |
2012 |
DBLP BibTeX RDF |
|
21 | Adam Foltzer, Abhishek Kulkarni, Rebecca Swords, Sajith Sasidharan, Eric Jiang, Ryan Newton |
A meta-scheduler for the par-monad: composable scheduling for the heterogeneous cloud. |
ICFP |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Brian Huffman |
Formal verification of monad transformers. |
ICFP |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Nils Anders Danielsson |
Operational semantics using the partiality monad. |
ICFP |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Oleh R. Nykyforchyn, Dusan Repovs |
Idempotent Convexity and Algebras for the Capacity Monad and its Submonads. |
Appl. Categorical Struct. |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Bart Jacobs 0001, Jorik Mandemaker |
The Expectation Monad in Quantum Foundations. |
QPL |
2011 |
DBLP DOI BibTeX RDF |
|
21 | James Barratt |
On the Automation of Encoding Processes in the Quantum IO Monad |
QPL |
2011 |
DBLP DOI BibTeX RDF |
|
21 | J.-R. Hayashishita, Daisuke Bekki |
Conjoined Nominal Expressions in Japanese - Interpretation through Monad. |
JSAI-isAI Workshops |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Tom Schrijvers, Bruno C. d. S. Oliveira |
Monads, zippers and views: virtualizing the monad stack. |
ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Yingzhou Zhang, Wei Fu, Changhai Nie |
monadWS: a monad-based testing tool for web services. |
AST |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Simon Marlow, Ryan Newton, Simon L. Peyton Jones |
A monad for deterministic parallelism. |
Haskell |
2011 |
DBLP DOI BibTeX RDF |
|