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

First Page		Document Content
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

	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
	Under consideration for publication in J. Functional Programming 1 The Essence of the Iterator Pattern Jeremy Gibbons and Bruno C. d. S. Oliveira DocID: 9L4v - View Document
	Digital Design Derivation 1. Introduction This research applies formal methods in logic, verification, and synthesis to digital design engineering. The work centers on the use of applicative notation for system descript DocID: 8IM7 - View Document
	Under consideration for publication in J. Functional Programming 1 DocID: 4zNC - View Document
	Programming in Standard ML ’97: A Tutorial Introduction Stephen Gilmore DocID: 1LGn - View Document