Search results for "monad"

Hits ?▲	Authors	Title	Venue	Year	Link
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