Cutting Out Continuations

Patrick Bahr, Graham Hutton

Publikation: Konference artikel i Proceeding eller bog/rapport kapitelBidrag til bog/antologiForskningpeer review

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.
OriginalsprogEngelsk
TitelA List of Successes That Can Change the World : Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday
Vol/bind9600
ForlagSpringer Publishing Company
Publikationsdato25 mar. 2016
Sider187-200
ISBN (Trykt)978-3-319-30935-4
ISBN (Elektronisk)978-3-319-30936-1
DOI
StatusUdgivet - 25 mar. 2016
NavnLecture Notes in Computer Science
Vol/bind9600
ISSN0302-9743

Fingeraftryk

Dyk ned i forskningsemnerne om 'Cutting Out Continuations'. Sammen danner de et unikt fingeraftryk.

Citationsformater