Back to Basics: Deriving Representation Changers Functionally

QR Code

Back to Basics: Deriving Representation Changers Functionally

Many functional programs can be viewed as representation changers, that is, as functions that convert abstract values from one concrete representation to another. Examples of such programs include base-converters, binary adders and multipliers, and compilers. In this paper we give a number of diff...

Full description

Bibliographic Details
Main Authors:	Hutton, Graham, Meijer, Erik
Format:	Article
Published:	Cambridge University Press 1996
Online Access:	https://eprints.nottingham.ac.uk/222/

Similar Items

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

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

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

Game changer for TVET
by: Rebecca, Rajaendram
Published: (2024)

Game changers for teacher education
by: Gibson, David, et al.
Published: (2011)

Biosciences a game-changer
by: Yong, Phelim Voon Chen
Published: (2022)

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

Companies act 2016: the game changer
by: Mohd. Sulaiman, Aiman @ Nariman, et al.
Published: (2016)

Game Changers for Transforming Learning Environments
by: Gibson, David
Published: (2012)

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

Back to basics
by: Mohamad, Noorihsan
Published: (2001)

Back to basics -vc
by: UMP, PNC

KIPSAS goes back to basics
by: Wan Jumani, Fauzi
Published: (2010)

Translation a game-changer? A socio-cultural perspective
by: Abdul Razak, Dzulkifli
Published: (2019)

Acid base disturbances: back to basic
by: Wan Ali, Wan Ahmad Syahril Rozli
Published: (2018)

The state of our rivers: back to basics
by: Zainudin, Zaki
Published: (2011)

Candida and invasive candidiasis: Back to basics.
by: Chong, Pei Pei, et al.
Published: (2011)

Pan Borneo highway a game changer for Sarawak's economic growth
by: Aufa Mardhiah
Published: (2023)

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

he cholera outbreak getting - back to the basics?
by: Abd Razak, Dzulkifli
Published: (1996)

Back to Basics: Emphasizing Grammar in the ESL Classroom
by: Wee, Kim Peck
Published: (2007)

Investigating the application of frequency response analysis for diagnosing tap changer on power transformer
by: Ahmed Al-subari, Musaed Mohammed
Published: (2018)

Higher-Order Functions for Parsing
by: Hutton, Graham
Published: (1992)

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

Going back to basics in design: From the IT artifact to the IS artifact
by: Lee, A., et al.
Published: (2013)

Let's go back to basic in addresing provacative news
by: Waheed, Moniza
Published: (2020)

Prophetic guidance for business ethics: back to basics for Islamic finance
by: Musa, Muhammad Adli, et al.
Published: (2011)

Making Functionality More General
by: Hutton, Graham, et al.
Published: (1992)

Distribution tap changer adjustment to improve small-scale embedded generator penetration and mitigate voltage rise
by: Nourbakhsh, G., et al.
Published: (2013)

Optimal dispatch of shunt capacitors and load tap changers in distorted distribution systems using ant colony algorithms
by: Deilami, Sara
Published: (2010)

Optimal scheduling of load tap changer and switched shunt capacitors in smart grid with electric vehicles and charging stations
by: Deilami, Sara, et al.
Published: (2013)

Holler-ing Back: Cultural (mis)representations of Appalachia in the Shadow of 2016
by: Griffiths, Eleanor
Published: (2020)

Muslim Bengal writes back: A study of Rokeya’s representation of Europe
by: Hasan, Md. Mahmudul
Published: (2012)

Contractive functions on infinite data structures
by: Capretta, Venanzio, et al.
Published: (2017)

Muslim Bengal writes back: a study of Rokeya’s encounter with and representation of Europe
by: Hasan, Md. Mahmudul
Published: (2016)

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

Representational competence of Form Four science students on basic chemical concepts / Sim Joong Hiong
by: Sim, Joong Hiong
Published: (2010)

A note on the derivation of the basic needs deficiency index (BNDI)
by: Abdullah , Naziruddin
Published: (2009)

Going back to basics in design science: from the information technology artifact to the information systems artifact
by: Lee, A., et al.
Published: (2015)

Chronic low back pain: a representation of liminality in illness identity and professional identity
by: Ampiah, Josephine Ahenkorah
Published: (2022)