Strong monad

Results: 15



#Item
1Under consideration for publication in J. Functional Programming  1 The Essence of the Iterator Pattern Jeremy Gibbons and Bruno C. d. S. Oliveira

Under consideration for publication in J. Functional Programming 1 The Essence of the Iterator Pattern Jeremy Gibbons and Bruno C. d. S. Oliveira

Add to Reading List

Source URL: www.cs.ox.ac.uk

Language: English - Date: 2008-03-11 08:14:50
2Notions of Bidirectional Computation and Entangled State Monads Faris Abou-Saleh1 , James Cheney2 , Jeremy Gibbons1 , James McKinna2 , and Perdita Stevens2 1

Notions of Bidirectional Computation and Entangled State Monads Faris Abou-Saleh1 , James Cheney2 , Jeremy Gibbons1 , James McKinna2 , and Perdita Stevens2 1

Add to Reading List

Source URL: www.cs.ox.ac.uk

Language: English - Date: 2015-04-29 12:24:51
3A Counterexample to Tensorability of Effects Sergey Goncharov and Lutz Schr¨ oder September 1, 2011

A Counterexample to Tensorability of Effects Sergey Goncharov and Lutz Schr¨ oder September 1, 2011

Add to Reading List

Source URL: calco2011.ecs.soton.ac.uk

Language: English - Date: 2011-09-15 16:48:46
4Compiling Monads  ∗ Olivier Danvy, J¨ urgen Koslowski, and Karoline Malmkjær

Compiling Monads ∗ Olivier Danvy, J¨ urgen Koslowski, and Karoline Malmkjær

Add to Reading List

Source URL: repository.readscheme.org

Language: English - Date: 2010-10-22 08:04:56
5Backtracking, Interleaving, and Terminating Monad Transformers (Functional Pearl) Oleg Kiselyov  Chung-chieh Shan

Backtracking, Interleaving, and Terminating Monad Transformers (Functional Pearl) Oleg Kiselyov Chung-chieh Shan

Add to Reading List

Source URL: okmij.org

Language: English - Date: 2005-07-13 17:03:59
6Combining Continuations with Other Effects ∗ M. Hyland P. B. Levy  G. Plotkin & J. Power

Combining Continuations with Other Effects ∗ M. Hyland P. B. Levy G. Plotkin & J. Power

Add to Reading List

Source URL: www.cs.bham.ac.uk

Language: English - Date: 2004-01-11 10:44:45
7Theory and Applications of Categories, Vol. 27, No. 18, 2013, pp. 464–492.  AN EQUATIONAL METALOGIC FOR MONADIC EQUATIONAL SYSTEMS MARCELO FIORE Abstract. The paper presents algebraic and logical developments. From the

Theory and Applications of Categories, Vol. 27, No. 18, 2013, pp. 464–492. AN EQUATIONAL METALOGIC FOR MONADIC EQUATIONAL SYSTEMS MARCELO FIORE Abstract. The paper presents algebraic and logical developments. From the

Add to Reading List

Source URL: www.emis.de

Language: English - Date: 2013-09-22 12:28:00
8Theory and Applications of Categories, Vol. 28, No. 2, 2013, pp. 24–65.  FREE PRODUCTS OF HIGHER OPERAD ALGEBRAS MARK WEBER Abstract. One of the open problems in higher category theory is the systematic construction of

Theory and Applications of Categories, Vol. 28, No. 2, 2013, pp. 24–65. FREE PRODUCTS OF HIGHER OPERAD ALGEBRAS MARK WEBER Abstract. One of the open problems in higher category theory is the systematic construction of

Add to Reading List

Source URL: www.emis.de

Language: English - Date: 2013-01-25 13:40:00
9Theory and Applications of Categories, Vol. 26, No. 4, 2012, pp. 97–131.  COMMUTATIVE MONADS AS A THEORY OF DISTRIBUTIONS ANDERS KOCK Abstract. It is shown how the theory of commutative monads provides an axiomatic fra

Theory and Applications of Categories, Vol. 26, No. 4, 2012, pp. 97–131. COMMUTATIVE MONADS AS A THEORY OF DISTRIBUTIONS ANDERS KOCK Abstract. It is shown how the theory of commutative monads provides an axiomatic fra

Add to Reading List

Source URL: www.emis.de

Language: English - Date: 2012-02-24 14:35:00
10Strings and Stripes Graphical Calculus for Monoidal Functors and Monads Micah Blake McCurdy Macquarie University

Strings and Stripes Graphical Calculus for Monoidal Functors and Monads Micah Blake McCurdy Macquarie University

Add to Reading List

Source URL: web.science.mq.edu.au

Language: English - Date: 2010-07-19 01:34:09