Cutting out continuations

QR Code

Cutting out continuations

In the field of program transformation, one often transforms programs into continuation-passing style to make their flow of control explicit, and then immediately removes the resulting continuations using defunctionalisation to make the programs first-order. In this article, we show how these two tr...

Full description

Bibliographic Details
Main Authors:	Hutton, Graham, Bahr, Patrick
Format:	Conference or Workshop Item
Published:	2016
Online Access:	https://eprints.nottingham.ac.uk/32703/

Similar Items

Compiling concurrency correctly: cutting out the middle man
by: Hu, Liyang, et al.
Published: (2010)

Calculating correct compilers
by: Bahr, Patrick, et al.
Published: (2015)

Compiling a 50-year journey
by: Hutton, Graham, et al.
Published: (2017)

CMBA at UNIMAS Cut Out For The Working Professional
by: Borneo Post Online
Published: (2017)

Exploring traditional Chinese pattern through cut-out animation
by: Tey, Shun Yi
Published: (2015)

Fixing the fulcrum on the freedom of speech seesaw: the government’s work is cut out
by: Fernandez, Joseph
Published: (2013)

A matlab based educational software for the study on the effect of cut-out in aircraft wings
by: Mohammed Riyadh, Miah, et al.
Published: (2018)

Influence of cut-out hole on multi-layer Kevlar-29/epoxy composite laminated plates
by: Abu Talib, Abd. Rahim, et al.
Published: (2013)

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

The Countdown Problem
by: Hutton, Graham
Published: (2002)

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

The Ruby Interpreter
by: Hutton, Graham
Published: (1993)

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

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

Review of Mike Gordon and Tom Melham (editors), An Introduction to HOL, a Theorem Proving Environment for Higher Order Logic
by: Hutton, Graham
Published: (1994)

Report on BCTCS 2005
by: Hutton, Graham
Published: (2005)

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

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

Load-displacement behavior of glass fiber/epoxy composite plates with circular cut-outs subjected to compressive load
by: Aljibori, Hakim S. Sultan, et al.
Published: (2010)

To cut a long tail short: A review of lizard caudal autotomy studies carried out over the last 20 years
by: Bateman, Bill, et al.
Published: (2009)

Influence of cutting parameters on cutting force and cutting temperature during pocketing operations
by: Hamidon, R., et al.
Published: (2016)

Barriers to CPR initiation and continuation during the emergency call relating to out-of-hospital cardiac arrest: A descriptive cohort study
by: Aldridge, Emogene, et al.
Published: (2023)

Towards a theory of reach
by: Fowler, Jonathan, et al.
Published: (2016)

Failing faster: overlapping patterns for property-based testing
by: Fowler, Jonathan, et al.
Published: (2016)

Worker/wrapper/makes it/faster
by: Hackett, Jennifer, et al.
Published: (2014)

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

Towards modular compilers for effects
by: Day, Laurence, et al.
Published: (2012)

Compact fusion
by: Hope, Catherine, et al.
Published: (2006)

Calculating an exceptional machine
by: Hutton, Graham, et al.
Published: (2006)

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

The Generic Approximation Lemma
by: Hutton, Graham, et al.
Published: (2001)

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

Compiling Exceptions Correctly
by: Hutton, Graham, et al.
Published: (2004)

Categories, Allegories, and Circuit Design
by: Brown, Carolyn, et al.
Published: (1994)

Calculating an Exceptional Machine
by: Hutton, Graham, et al.
Published: (2005)

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

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

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

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

Accurate Step Counting
by: Hope, Catherine, et al.
Published: (2005)