<--- Back to Details
First PageDocument Content
Category theory / Monad / Functor / Map / Natural transformation / Monoid / List / Applicative programming language / Strong monad / Adjoint functors / Abstract algebra / Software engineering
Date: 2008-03-11 08:14:50
Category theory
Monad
Functor
Map
Natural transformation
Monoid
List
Applicative programming language
Strong monad
Adjoint functors
Abstract algebra
Software engineering

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

Download Document from Source Website

File Size: 169,70 KB

Share Document on Facebook

Similar Documents

Under 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

DocID: 1aqSI - View Document

Notions 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

DocID: 19HKc - View Document

A 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

DocID: 18KDQ - View Document

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

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

DocID: 17L04 - View Document

Backtracking, 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

DocID: 13xQI - View Document