Effective Concurrency through Algebraic Effects Stephen Dolan1 , Leo White2 , KC Sivaramakrishnan1 , Jeremy Yallop1 , and Anil Madhavapeddy1 1 University of Cambridge 2

Source URL: kcsrk.info

• Control flow
• Functional languages
• Abstract data types
• Continuations
• Software design patterns
• OCaml
• Delimited continuation
• Concurrent computing
• Thread
• Monad
• Queue
• Monitor

MemoryUsage(Two-StateLRUvsNativeLRU).eps

Source URL: jeapostrophe.github.io

• Software engineering
• Control flow
• Continuations
• Delimited continuation
• Call-with-current-continuation
• Lambda calculus

From delimited CPS to polarisation Guillaume Munch-Maccagnoni∗ Introduction Abstract The understanding of continuation-passing style (CPS)

Source URL: guillaume.munch.name

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 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

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 RS-05-5 Biernacki 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

• Lambda calculus
• Type theory
• Functional programming
• Control flow
• Continuations
• Delimited continuation
• Curry–Howard correspondence
• Typed lambda calculus
• Monad
• Software engineering
• Computing
• Computer programming