Delimited control and computational effects. Issue 1 (January 2014)

• Record Type: Journal Article
• Authors: DOWNEN, PAUL; ARIOLA, ZENA M.
• Is Part Of: Journal of functional programming. Volume 24:Issue 1(2014)
• Page Start: 1
• Page End: 55
• Publication Date: 2014-01
• Subjects: Functional programming (Computer science) -- Periodicals
• DOI: 10.1017/S0956796813000312
• Languages: English
• ISSNs: 0956-7968

Abstract

<abstract abstract-type="normal"> <title>Abstract</title> <p>We give a framework for delimited control with multiple prompts, in the style of Parigot's λμ-calculus, through a series of incremental extensions by starting with the pure λ-calculus. Each language inherits the semantics and reduction theory of its parent, giving a systematic way to describe each level of control. For each language of interest, we fully characterize its semantics in terms of a reduction semantics, operational semantics, continuation-passing style transform, and abstract machine. Furthermore, the control operations are expressed in terms of fine-grained primitives that can be used to build well-known, higher-level control operators. In order to illustrate the expressive power provided by various languages, we show how other computational effects can be encoded in terms of these control operators.</p> </abstract>