BRICS RSBiernacki et al.: On the Dynamic Extent of Delimited Continuations BRICS Basic Research in Computer Science

Source URL: www.brics.dk

• Continuations
• Control flow
• Subroutines
• Delimited continuation
• Functional languages
• Call-with-current-continuation
• Standard ML
• ConTeXt
• Tree traversal
• Software engineering
• Computing
• Computer programming

BRICS Basic Research in Computer Science BRICS RSDamian & Danvy: CPS Transformation of Flow Information, Part II: Administrative Reductions CPS Transformation of Flow Information

Source URL: www.brics.dk

• Computational complexity theory
• Continuation-passing style
• Continuations
• Functional programming
• Lambda calculus
• Static single assignment form
• Reduction
• Theoretical computer science
• Applied mathematics
• Software engineering

BRICS RSBiernacki et al.: A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations BRICS Basic Research in Computer Science

Source URL: www.brics.dk

BRICS RSBiernacka et al.: An Operational Foundation for Delimited Continuations in the CPS Hierarchy BRICS Basic Research in Computer Science

Source URL: www.brics.dk

• Continuations
• Functional programming
• Continuation-passing style
• Programming language semantics
• Eval
• Evaluation strategy
• Continuation
• Lambda calculus
• Operational semantics
• Software engineering
• Computing
• Control flow

On Typing Delimited Continuations: Three New Solutions to the Printf Problem Kenichi Asai Ochanomizu University, 2-1-1 Otsuka, Bunkyo-ku, Tokyo, Japan http://pllab.is.ocha.ac.jp/˜asai

Source URL: pllab.is.ocha.ac.jp

Interaction-Safe State for the Web Jay McCarthy Shriram Krishnamurthi Brown University

Source URL: schemeworkshop.org

• Continuations
• Control flow
• Web application frameworks
• Functional languages
• Cross-platform software
• Web service
• Frame
• Call-with-current-continuation
• Seaside
• Computing
• Software engineering
• Computer programming

BRICS RSBiernacka et al.: An Operational Foundation for Delimited Continuations in the CPS Hierarchy BRICS Basic Research in Computer Science

Source URL: www.brics.dk

Jumbo λ-Calculus Paul Blain Levy University of Birmingham Abstract. We make an argument that, for any study involving computational effects such as divergence or continuations, the traditional syntax of simply typed lam

Source URL: www.cs.bham.ac.uk

BRICS RSBiernacki et al.: A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations BRICS Basic Research in Computer Science

Source URL: www.brics.dk

ACM SIGPLAN Continuation Workshop Saturday, September 24, 2011 Tokyo, Japan (co-located with ICFP) Session 1 (chair: Yukiyoshi Kameyama) 9:00–10:00 Continuations and classical logic: using continuations as a tool for l

Source URL: logic.cs.tsukuba.ac.jp