Fold and Unfold for Program Semantics

QR Code

Fold and Unfold for Program Semantics

In this paper we explain how recursion operators can be used to structure and reason about program semantics within a functional language. In particular, we show how the recursion operator fold can be used to structure denotational semantics, how the dual recursion operator unfold can be used to st...

Full description

Bibliographic Details
Main Author:	Hutton, Graham
Format:	Conference or Workshop Item
Published:	1998
Online Access:	https://eprints.nottingham.ac.uk/230/

Similar Items

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 under-performing unfold: a new approach to optimising corecursive programs
by: Hackett, Jennifer, et al.
Published: (2013)

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)

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)

Modularity and implementation of mathematical operational semantics
by: Jaskelioff, Mauro Javier, et al.
Published: (2008)

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)

Functional Programming With Relations
by: Hutton, Graham
Published: (1991)

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)

Between functions and relations in calculating programs
by: Hutton, Graham
Published: (1992)

A Relational Derivation of a Functional Program
by: Hutton, Graham
Published: (1992)

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)

Programs for cheap!
by: Hackett, Jennifer, et al.
Published: (2015)

Proof Methods for Corecursive Programs
by: Hutton, Graham, et al.
Published: (2005)

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)

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)

Proof methods for structured corecursive programs
by: Gibbons, Jeremy, et al.
Published: (1999)

Unfolding the interplay of self-identity and expressions of territoriality in location-based social networks
by: Papangelis, Konstantinos, et al.
Published: (2017)

To boil an egg: substrate binding affects critical stability in thermal unfolding of proteins
by: Hussain, Rohanah, et al.
Published: (2018)

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

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

Bacterial back-talk: structural stability, unfolding and molecular interaction studies on Staphylococcal proteins
by: Zandomeneghi, Sara
Published: (2023)