A Sound and Complete Axiomatization of Delimited Continuations Yukiyoshi Kameyama Masahito Hasegawa

Source URL: www.kurims.kyoto-u.ac.jp

Sober Spaces and Continuations Paul Taylor August 5, 2003 Abstract A topological space is sober if it has exactly the points that are dictated by its open sets. We explain the analogy with the way in which computational

Source URL: www.monad.me.uk

The phonetic design of turn endings, beginnings, and continuations in conversation Gareth Walker Submitted for the degree of PhD

Source URL: gareth-walker.staff.shef.ac.uk

MemoryUsage(Two-StateLRUvsNativeLRU).eps

Source URL: jeapostrophe.github.io

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

Representing Control in the Presence of One-Shot Continuations∗ Carl Bruggeman Oscar Waddell

Source URL: www.cs.indiana.edu

SOFTWARE—PRACTICE AND EXPERIENCE Softw. Pract. Exper. 2012; 00:1–29 Published online in Wiley InterScience (www.interscience.wiley.com). DOI: spe Scheduling model-to-model transformations with continuations J

Source URL: sanchezcuadrado.es

Polarity and the Logic of Delimited Continuations Noam Zeilberger Université Paris 7 12 July, LICS 2010

Source URL: noamz.org

Automatically RESTful Web Applications Marking Modular Serializable Continuations Jay McCarthy Brigham Young University

Source URL: jeapostrophe.github.io

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

Source URL: www.brics.dk