A Tutorial on the Universality and Expressiveness of Fold

QR Code

A Tutorial on the Universality and Expressiveness of Fold

In functional programming, fold is a standard operator that encapsulates a simple pattern of recursion for processing lists. This article is a tutorial on two key aspects of the fold operator for lists. First of all, we emphasize the use of the universal property of fold both as a proof principle...

Full description

Bibliographic Details
Main Author:	Hutton, Graham
Format:	Article
Published:	Cambridge University Press 1999
Online Access:	https://eprints.nottingham.ac.uk/224/

Similar Items

Fold and Unfold for Program Semantics
by: Hutton, Graham
Published: (1998)

Work it, wrap it, fix it, fold it
by: Sculthorpe, Neil, et al.
Published: (2014)

When is a function a fold or an unfold?
by: Gibbons, Jeremy, et al.
Published: (2001)

Bananas in space: extending fold and unfold to exponential types
by: Meijer, Erik, et al.
Published: (1995)

The Fold
by: Costantino, Thea
Published: (2011)

Folding in Geomaterials
by: Behnoudfar, Pouria
Published: (2021)

On the folded normal distribution
by: Tsagris, Michail, et al.
Published: (2014)

Tutorial Software For Control Chart
by: Kamaruddin, Eddy
Published: (2005)

An evaluation of i-Tutorial: a multimedia learning material in Open University Malaysia
by: Majumin Hanum , Abdul Samad, et al.
Published: (2009)

A Proposal for Folding in ORM Diagrams
by: Morgan, Tony
Published: (2010)

Computer simulations of protein folding
by: Williams, Haydn Wyn
Published: (2011)

Design and fabrication of folding chair
by: Mohd Sani, Idris
Published: (2009)

Design and fabrication of folding table
by: Mohd Rosdi, Hussin
Published: (2009)

A tutorial on machine learning in educational science
by: Kidzinski, et al.
Published: (2016)

Anti skid control system, a tutorial
by: Salami, Momoh Jimoh Eyiomika, et al.
Published: (2011)

Anti skid control system, a tutorial
by: Salami, Momoh Jimoh Eyiomika, et al.
Published: (2011)

SQL injection penetration testing tutorial
by: Pathan, Al-Sakib Khan, et al.
Published: (2011)

A bias-exchange approach to protein folding
by: Piana, Stefano, et al.
Published: (2007)

Finite-Time Stability Analysis: A Tutorial Survey
by: Xu, Honglei
Published: (2020)

Geometric Control Theory for Linear Systems: a Tutorial
by: Marro, G., et al.
Published: (2010)

A Tutorial on Bernoulli Filters: Theory, Implementation and Applications
by: Ristic, B., et al.
Published: (2013)

Classification of protein fold classes by knot theory and prediction of folds by neural networks: A combined theoretical and experimental approach
by: Ramnarayan, K., et al.
Published: (2007)

Computational studies of folding and binding of polypeptides
by: Turpin, Eleanor R.
Published: (2013)

Artificial Immune System and Intrusion Detection Tutorial
by: Aickelin, Uwe
Published: (2003)

Artificial Immune System and Intrusion Detection Tutorial
by: Aickelin, Uwe
Published: (2003)

Stochastic process and tutorial of the African bufalo optimization
by: Odili, Julius Beneoluchi, et al.
Published: (2022)

Pelajar cipta tutorial solat 3D
by: UMP, .
Published: (2015)

Stochastic process and tutorial of the African buffalo optimization
by: Odili, Julius Beneoluchi, et al.
Published: (2022)

MRI reconstruction using discrete fourier transform: a tutorial
by: Aibinu, Abiodun Musa, et al.
Published: (2008)

A Tutorial on the Optimization of Amplify-and-Forward MIMO Relay Systems
by: Sanguinetti, L., et al.
Published: (2012)

Toric Fano three-folds with terminal singularities
by: Kasprzyk, Alexander M.
Published: (2006)

Symmetric and folded Tori connected Torus Network
by: Rahman, M.M. Hafizur, et al.
Published: (2011)

Speech rehabilitation of Paradoxical Vocal Fold Movement
by: Shobha Sharma,, et al.
Published: (2007)

New approach to folding with the Coulomb wave function
by: Blokhintsev, L., et al.
Published: (2015)

Antifungal Peptide Modeling, Folding and Mimetic Design
by: Moradi, Shoeib
Published: (2009)

Online reference & tutorial for microprocessor subject / Velan Ramalingam
by: Velan, Ramalingam
Published: (2003)

Video for tutorial : demonstration for dental carving of maxillary canine
by: Lestari, Widya, et al.
Published: (2020)

Video for tutorial : demonstration for dental carving of maxillary premolar
by: Lestari, Widya, et al.
Published: (2020)

Video for tutorial: demonstration for dental carving of maxillary molar
by: Lestari, Widya, et al.
Published: (2020)

A tutorial on the globally monotonic tracking control problem with geometric techniques
by: Ntogramatzidis, Lorenzo, et al.
Published: (2016)