Cutting out continuations

Hutton, Graham; Bahr, Patrick

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.

Citation

Hutton, G., & Bahr, P. Cutting out continuations. Presented at WadlerFest

• Conference Name: WadlerFest
• End Date: Apr 12, 2016
• Acceptance Date: Dec 4, 2015
• Publication Date: Apr 12, 2016
• Deposit Date: Apr 8, 2016
• Publicly Available Date: Apr 12, 2016
• Peer Reviewed: Peer Reviewed
• Public URL: https://nottingham-repository.worktribe.com/output/785561