The essence of the <scp>Iterator</scp> pattern

DOI10.1017/S0956796809007291zbMath1191.68160OpenAlexW2173780645MaRDI QIDQ3638921

Jeremy Gibbons, Bruno C. d. S. Oliveira

Publication date: 28 October 2009

Published in: Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0956796809007291

zbMATH Keywords

modularitytraversalwordcount problem

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Theory of software (68N99)

Related Items (6)

Push versus pull-based loop fusion in query engines ⋮ Breadth-first traversal via staging ⋮ A representation theorem for second-order functionals ⋮ Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins ⋮ Scala for generic programmers ⋮ A type- and scope-safe universe of syntaxes with binding: their semantics and proofs

Uses Software

• Haskell

Cites Work

• Unnamed Item
• Notions of computation and monads
• Polytypic data conversion programs
• Mathematics of program construction. 4th international conference, MPC '98, Marstrand, Sweden, June 15--17, 1998. Proceedings
• A semantics for shape
• Do we need dependent types?
• Applicative programming with effects

This page was built for publication: The essence of the <scp>Iterator</scp> pattern