Bananas in space: extending fold and unfold to exponential types

QR Code

Bananas in space: extending fold and unfold to exponential types

Fold and unfold are general purpose functionals for process-ing and constructing lists. By using the categorical approach of modelling recursive datatypes as fixed points of functors, these functionals and their algebraic properties were generalised from lists to polynomial (sum-of-product) datatype...

Full description

Bibliographic Details
Main Authors:	Meijer, Erik, Hutton, Graham
Format:	Conference or Workshop Item
Published:	ACM Press, La Jolla, California 1995
Online Access:	https://eprints.nottingham.ac.uk/28198/

Similar Items

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

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

A Tutorial on the Universality and Expressiveness of Fold
by: Hutton, Graham
Published: (1999)

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

The under-performing unfold: a new approach to optimising corecursive programs
by: Hackett, Jennifer, et al.
Published: (2013)

Monadic parser combinators
by: Hutton, Graham, et al.
Published: (1996)

Back to Basics: Deriving Representation Changers Functionally
by: Hutton, Graham, et al.
Published: (1996)

Monadic parsing in Haskell
by: Hutton, Graham, et al.
Published: (1998)

A tool for relational programmers
by: Hutton, Graham, et al.
Published: (1994)

Unfolding the story of dermocosmetics
by: Ab. Hadi, Hazrina
Published: (2018)

Unfolding creativity in design
by: Shaari, Nazlina
Published: (2014)

The argumentative side unfolds
by: Waheed, Moniza
Published: (2021)

The exponential variation of heated extending sheet in Casson fluid flow
by: Ahmad, Kartini, et al.
Published: (2019)

The exponential variation of heated extending sheet in casson fluid flow
by: Ahmad, Kartini, et al.
Published: (2019)

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

The trinitarian gift unfolded: sacrifice, resurrection, communion
by: Griffiths, John Mark Ainsley
Published: (2015)

Haemoglobin unfolding studies at the liquid-liquid interface
by: Herzog, G., et al.
Published: (2011)

The impact of slip conditions on magnetohydrodynamics radiating fluid beyond an exponentially extended sheet
by: Mohamed Isa, Siti Suzilliana Putri, et al.
Published: (2018)

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

The origami of desire: unfolding and refolding the desiring self (F)
by: Houen, Anne Christina
Published: (2008)

Fracking in the UK press: Threat dynamics in an unfolding debate
by: Jaspal, Rusi, et al.
Published: (2014)

The unfolding of social entrepreneurship in the context of a developing economy
by: De Avillez, Maria Margarida Durão
Published: (2017)

Molecular Dynamics of Thermoalkalophilic Lipases Unfolding At High Temperatures
by: Karjiban, Roghayeh Abedi
Published: (2008)

Rice crisis unfolds, Malaysia's battle for food security
by: Yong, Pamela, et al.
Published: (2023)

On the exponential Radon transform and its extension to certain functions spaces
by: Al-Omari, Shrideh Khalaf Qasem, et al.
Published: (2014)

Modified outlier diagnostics for the extended exponential regression model with interval and right-censored data
by: Arasan, Jayanthi, et al.
Published: (2024)

Unfolding the lesbianism orientation development amongst selected pengkid Malays
by: Rusdie Ali Faeidz, Nora Hendon Faeizah
Published: (2011)

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

A Calculational Theory of Pers as Types
by: Hutton, Graham, et al.
Published: (1992)

Extended free-space optical communications
by: Bandele, Jeremiah Oluwatosin
Published: (2016)

Accelerating Cosmologies with Extended Product Spaces
by: Ch’ng, Han Siong
Published: (2006)

Unfolding the recipes for conflict resolution during the new service development effort
by: Gounaris, Spiros, et al.
Published: (2016)

Platelet clearance via shear-induced unfolding of a membrane mechanoreceptor
by: Deng, W., et al.
Published: (2016)

Unfolding workplace skills through Oral Progress Report Activity (OPRA)
by: Wahiza Wahi,, et al.
Published: (2016)

Adsorption and Unfolding of Lysozyme at a Polarized Aqueous-Organic Liquid Interface
by: Arooj, M., et al.
Published: (2016)

High throughput evaluation of SHA-1 implementation using unfolding transformation
by: Shamsiah, Binti Suhaili, et al.
Published: (2016)

Philosophy and policy, then and now: unfolding the Rural Tourism Policy perspectives in Malaysia
by: Siow, May Ling, et al.
Published: (2014)

Exponentiated Kumaraswamy Exponentiated Weibull distribution with application
by: Ibrahim, Noor Akma, et al.
Published: (2018)

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

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