@inbook{0fc840ce68a2438e9a59670872afeed1,
title = "Cutting Out Continuations",
abstract = "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 transformations can be fused together into a single transformation step that cuts out the need to first introduce and then eliminate continuations. Our approach is calculational, uses standard equational reasoning techniques, and is widely applicable.",
keywords = "program transformation, continuation-passing style, defunctionalisation, equational reasoning, first-order programs, program transformation, continuation-passing style, defunctionalisation, equational reasoning, first-order programs",
author = "Patrick Bahr and Graham Hutton",
year = "2016",
month = mar,
day = "25",
doi = "10.1007/978-3-319-30936-1_10",
language = "English",
isbn = "978-3-319-30935-4",
volume = "9600",
series = "Lecture Notes in Computer Science",
publisher = "Springer Publishing Company",
pages = "187--200",
booktitle = "A List of Successes That Can Change the World",
address = "United States",
}