├── README.md ├── papers ├── (1987) Beyond Continuations - Matthias Felleisen, Daniel Friedman, Bruce Duba, John Merrill.pdf ├── (1988) The Theory and Practice of First-Class Prompts - Matthias Felleisen.pdf ├── (1990) Abstracting Control - Olivier Danvy, Andrzej Filinski.pdf ├── (1990) Control Delimiters and Their Hierarchies - Dorai Sitaram, Matthias Felleisen.pdf ├── (1990) Representing Control in the Presence of First-Class Continuations - Robert Hieb, R Kent Dybvig, Carl Bruggeman.pdf ├── (1993) Handling Control - Dorai Sitaram.pdf ├── (1994) Representing Monads - Andrzej Filinski.pdf ├── (1994) Subcontinuations - Robert Hieb, R Keny Dybvig, Claude Anderson III.pdf ├── (1995) A generalization of exceptions and control in ML-like languages - Carl A. Gunter,Didier Rémy, Jon G. Riecke.pdf ├── (1995) Continuation-Based Partial Evaluation - Julia Lawall, Olivier Danvy.pdf ├── (1996) Representing Control in the Presence of One-Shot Continuations - Carl Bruggeman, Oscar Waddell, R Kent Dybvig.pdf ├── (1997) A Syntactic Theory Of Dynamic Binding - Luc Moreau.pdf ├── (1997) Threads yield continuations - Sanjeev Kumar, Carl Bruggeman, R Kent Dybvig.pdf ├── (2000) An Implementation of Transparent Migration on Standard Scheme - Eijiro Sumii.pdf ├── (2002) Final Shift for CallCC Direct Implementation of Shift and Reset - Martin Gasbichler, Michael Sperber.pdf ├── (2002) Online Partial Evaluation for Shift and Reset - Kenichi Asai.pdf ├── (2003) A sound and complete Axiomatization of Delimited Continuations - Yukiyoshi Kameyama, Masahito Hasegawa.pdf ├── (2004) Axioms for Delimited Continuations in the CPS Hierarchy - Yukiyoshi Kameyama.pdf ├── (2004) Revisiting Coroutines - Ana Lucia de Moura, Roberto Ierusalimschy.pdf ├── (2005) A Monadic Framework for Delimited Continuations - Kent Dybvig, Simon Peyton Jones, Amr Sabry.pdf ├── (2006) Delimited Dynamic Binding - Oleg Kiselyov, Chung-chieh Shan, Amr Sabry.pdf ├── (2007) A static simulation of dynamic delimited control - Chung-chieh Shan.pdf ├── (2007) Adding delimited and composable control to a production programming environment - Matthew Flatt, Gang Yu, Robert Bruce Findler, Matthias Felleisen.pdf ├── (2007) Delimited continuations in operating systems - Oleg Kiselyov, Chung-chieh Shan.pdf ├── (2007) Logical Relations for Call-by-value Delimited Continuations - Kenichi Asai.pdf ├── (2007) Polymorphic Delimited Continuations - Kenichi Asai, Yukiyoshi Kameyama.pdf ├── (2009) Direct Implementation of Shift and Reset in the MinCaml Compiler - Moe Masuko, Kenichi Asai.pdf ├── (2010) Functional derivation of a virtual machine for delimited continuations - Kenichi Asai, Arisa Kitani.pdf ├── (2011) Caml Light + shift reset = Caml Shift - Masuko, M., and K. Asai.pdf ├── (2011) Yield Mainstream Delimited Continuations - Roshan James, Amr Sabry.pdf └── (2012) A Systematic Approach to Delimited Control with Multiple Prompts - Paul Downen, Zena M. Ariol.pdf └── scripts ├── 1988-theory-and-practice.rkt ├── 1990-abstracting-control.rkt ├── 1994-representing-monads.rkt ├── 1997-a-syntactic-theory-of-dynamic-binding.rkt ├── 2006-delimited-dynamic-binding.rkt ├── 2010-asai-kitani-eval11-numbers.ml ├── 2010-asai-kitani-eval11.ml ├── 2012-systematic-approach-multi-prompts-exceptions.rkt ├── matt-might-exceptions-dynamic.rkt ├── matt-might-exceptions.rkt ├── matt-might-omniscience.rkt └── prefixes.rkt /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rain-1/continuations-study-group/HEAD/README.md -------------------------------------------------------------------------------- /papers/(1987) Beyond Continuations - Matthias Felleisen, Daniel Friedman, Bruce Duba, John Merrill.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rain-1/continuations-study-group/HEAD/papers/(1987) Beyond Continuations - Matthias Felleisen, Daniel Friedman, Bruce Duba, John Merrill.pdf -------------------------------------------------------------------------------- /papers/(1988) The Theory and Practice of First-Class Prompts - Matthias Felleisen.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rain-1/continuations-study-group/HEAD/papers/(1988) The Theory and Practice of First-Class Prompts - Matthias Felleisen.pdf -------------------------------------------------------------------------------- /papers/(1990) Abstracting Control - Olivier Danvy, Andrzej Filinski.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rain-1/continuations-study-group/HEAD/papers/(1990) Abstracting Control - Olivier Danvy, Andrzej Filinski.pdf -------------------------------------------------------------------------------- /papers/(1990) Control Delimiters and Their Hierarchies - Dorai Sitaram, Matthias Felleisen.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rain-1/continuations-study-group/HEAD/papers/(1990) Control Delimiters and Their Hierarchies - Dorai Sitaram, Matthias Felleisen.pdf -------------------------------------------------------------------------------- /papers/(1990) Representing Control in the Presence of First-Class Continuations - Robert Hieb, R Kent Dybvig, Carl Bruggeman.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rain-1/continuations-study-group/HEAD/papers/(1990) Representing Control in the Presence of First-Class Continuations - Robert Hieb, R Kent Dybvig, Carl Bruggeman.pdf -------------------------------------------------------------------------------- /papers/(1993) Handling Control - Dorai Sitaram.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rain-1/continuations-study-group/HEAD/papers/(1993) Handling Control - Dorai Sitaram.pdf -------------------------------------------------------------------------------- /papers/(1994) Representing Monads - Andrzej Filinski.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rain-1/continuations-study-group/HEAD/papers/(1994) Representing Monads - Andrzej Filinski.pdf -------------------------------------------------------------------------------- /papers/(1994) Subcontinuations - Robert Hieb, R Keny Dybvig, Claude Anderson III.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rain-1/continuations-study-group/HEAD/papers/(1994) Subcontinuations - Robert Hieb, R Keny Dybvig, Claude Anderson III.pdf -------------------------------------------------------------------------------- /papers/(1995) A generalization of exceptions and control in ML-like languages - Carl A. Gunter,Didier Rémy, Jon G. Riecke.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rain-1/continuations-study-group/HEAD/papers/(1995) A generalization of exceptions and control in ML-like languages - Carl A. Gunter,Didier Rémy, Jon G. Riecke.pdf -------------------------------------------------------------------------------- /papers/(1995) Continuation-Based Partial Evaluation - Julia Lawall, Olivier Danvy.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rain-1/continuations-study-group/HEAD/papers/(1995) Continuation-Based Partial Evaluation - Julia Lawall, Olivier Danvy.pdf -------------------------------------------------------------------------------- /papers/(1996) Representing Control in the Presence of One-Shot Continuations - Carl Bruggeman, Oscar Waddell, R Kent Dybvig.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rain-1/continuations-study-group/HEAD/papers/(1996) Representing Control in the Presence of One-Shot Continuations - Carl Bruggeman, Oscar Waddell, R Kent Dybvig.pdf -------------------------------------------------------------------------------- /papers/(1997) A Syntactic Theory Of Dynamic Binding - Luc Moreau.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rain-1/continuations-study-group/HEAD/papers/(1997) A Syntactic Theory Of Dynamic Binding - Luc Moreau.pdf -------------------------------------------------------------------------------- /papers/(1997) Threads yield continuations - Sanjeev Kumar, Carl Bruggeman, R Kent Dybvig.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rain-1/continuations-study-group/HEAD/papers/(1997) Threads yield continuations - Sanjeev Kumar, Carl Bruggeman, R Kent Dybvig.pdf -------------------------------------------------------------------------------- /papers/(2000) An Implementation of Transparent Migration on Standard Scheme - Eijiro Sumii.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rain-1/continuations-study-group/HEAD/papers/(2000) An Implementation of Transparent Migration on Standard Scheme - Eijiro Sumii.pdf -------------------------------------------------------------------------------- /papers/(2002) Final Shift for CallCC Direct Implementation of Shift and Reset - Martin Gasbichler, Michael Sperber.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rain-1/continuations-study-group/HEAD/papers/(2002) Final Shift for CallCC Direct Implementation of Shift and Reset - Martin Gasbichler, Michael Sperber.pdf -------------------------------------------------------------------------------- /papers/(2002) Online Partial Evaluation for Shift and Reset - Kenichi Asai.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rain-1/continuations-study-group/HEAD/papers/(2002) Online Partial Evaluation for Shift and Reset - Kenichi Asai.pdf -------------------------------------------------------------------------------- /papers/(2003) A sound and complete Axiomatization of Delimited Continuations - Yukiyoshi Kameyama, Masahito Hasegawa.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rain-1/continuations-study-group/HEAD/papers/(2003) A sound and complete Axiomatization of Delimited Continuations - Yukiyoshi Kameyama, Masahito Hasegawa.pdf -------------------------------------------------------------------------------- /papers/(2004) Axioms for Delimited Continuations in the CPS Hierarchy - Yukiyoshi Kameyama.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rain-1/continuations-study-group/HEAD/papers/(2004) Axioms for Delimited Continuations in the CPS Hierarchy - Yukiyoshi Kameyama.pdf -------------------------------------------------------------------------------- /papers/(2004) Revisiting Coroutines - Ana Lucia de Moura, Roberto Ierusalimschy.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rain-1/continuations-study-group/HEAD/papers/(2004) Revisiting Coroutines - Ana Lucia de Moura, Roberto Ierusalimschy.pdf -------------------------------------------------------------------------------- /papers/(2005) A Monadic Framework for Delimited Continuations - Kent Dybvig, Simon Peyton Jones, Amr Sabry.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rain-1/continuations-study-group/HEAD/papers/(2005) A Monadic Framework for Delimited Continuations - Kent Dybvig, Simon Peyton Jones, Amr Sabry.pdf -------------------------------------------------------------------------------- /papers/(2006) Delimited Dynamic Binding - Oleg Kiselyov, Chung-chieh Shan, Amr Sabry.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rain-1/continuations-study-group/HEAD/papers/(2006) Delimited Dynamic Binding - Oleg Kiselyov, Chung-chieh Shan, Amr Sabry.pdf -------------------------------------------------------------------------------- /papers/(2007) A static simulation of dynamic delimited control - Chung-chieh Shan.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rain-1/continuations-study-group/HEAD/papers/(2007) A static simulation of dynamic delimited control - Chung-chieh Shan.pdf -------------------------------------------------------------------------------- /papers/(2007) Adding delimited and composable control to a production programming environment - Matthew Flatt, Gang Yu, Robert Bruce Findler, Matthias Felleisen.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rain-1/continuations-study-group/HEAD/papers/(2007) Adding delimited and composable control to a production programming environment - Matthew Flatt, Gang Yu, Robert Bruce Findler, Matthias Felleisen.pdf -------------------------------------------------------------------------------- /papers/(2007) Delimited continuations in operating systems - Oleg Kiselyov, Chung-chieh Shan.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rain-1/continuations-study-group/HEAD/papers/(2007) Delimited continuations in operating systems - Oleg Kiselyov, Chung-chieh Shan.pdf -------------------------------------------------------------------------------- /papers/(2007) Logical Relations for Call-by-value Delimited Continuations - Kenichi Asai.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rain-1/continuations-study-group/HEAD/papers/(2007) Logical Relations for Call-by-value Delimited Continuations - Kenichi Asai.pdf -------------------------------------------------------------------------------- /papers/(2007) Polymorphic Delimited Continuations - Kenichi Asai, Yukiyoshi Kameyama.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rain-1/continuations-study-group/HEAD/papers/(2007) Polymorphic Delimited Continuations - Kenichi Asai, Yukiyoshi Kameyama.pdf -------------------------------------------------------------------------------- /papers/(2009) Direct Implementation of Shift and Reset in the MinCaml Compiler - Moe Masuko, Kenichi Asai.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rain-1/continuations-study-group/HEAD/papers/(2009) Direct Implementation of Shift and Reset in the MinCaml Compiler - Moe Masuko, Kenichi Asai.pdf -------------------------------------------------------------------------------- /papers/(2010) Functional derivation of a virtual machine for delimited continuations - Kenichi Asai, Arisa Kitani.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rain-1/continuations-study-group/HEAD/papers/(2010) Functional derivation of a virtual machine for delimited continuations - Kenichi Asai, Arisa Kitani.pdf -------------------------------------------------------------------------------- /papers/(2011) Caml Light + shift reset = Caml Shift - Masuko, M., and K. Asai.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rain-1/continuations-study-group/HEAD/papers/(2011) Caml Light + shift reset = Caml Shift - Masuko, M., and K. Asai.pdf -------------------------------------------------------------------------------- /papers/(2011) Yield Mainstream Delimited Continuations - Roshan James, Amr Sabry.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rain-1/continuations-study-group/HEAD/papers/(2011) Yield Mainstream Delimited Continuations - Roshan James, Amr Sabry.pdf -------------------------------------------------------------------------------- /papers/(2012) A Systematic Approach to Delimited Control with Multiple Prompts - Paul Downen, Zena M. Ariol.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rain-1/continuations-study-group/HEAD/papers/(2012) A Systematic Approach to Delimited Control with Multiple Prompts - Paul Downen, Zena M. Ariol.pdf -------------------------------------------------------------------------------- /scripts/1988-theory-and-practice.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rain-1/continuations-study-group/HEAD/scripts/1988-theory-and-practice.rkt -------------------------------------------------------------------------------- /scripts/1990-abstracting-control.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rain-1/continuations-study-group/HEAD/scripts/1990-abstracting-control.rkt -------------------------------------------------------------------------------- /scripts/1994-representing-monads.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rain-1/continuations-study-group/HEAD/scripts/1994-representing-monads.rkt -------------------------------------------------------------------------------- /scripts/1997-a-syntactic-theory-of-dynamic-binding.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rain-1/continuations-study-group/HEAD/scripts/1997-a-syntactic-theory-of-dynamic-binding.rkt -------------------------------------------------------------------------------- /scripts/2006-delimited-dynamic-binding.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rain-1/continuations-study-group/HEAD/scripts/2006-delimited-dynamic-binding.rkt -------------------------------------------------------------------------------- /scripts/2010-asai-kitani-eval11-numbers.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rain-1/continuations-study-group/HEAD/scripts/2010-asai-kitani-eval11-numbers.ml -------------------------------------------------------------------------------- /scripts/2010-asai-kitani-eval11.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rain-1/continuations-study-group/HEAD/scripts/2010-asai-kitani-eval11.ml -------------------------------------------------------------------------------- /scripts/2012-systematic-approach-multi-prompts-exceptions.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rain-1/continuations-study-group/HEAD/scripts/2012-systematic-approach-multi-prompts-exceptions.rkt -------------------------------------------------------------------------------- /scripts/matt-might-exceptions-dynamic.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rain-1/continuations-study-group/HEAD/scripts/matt-might-exceptions-dynamic.rkt -------------------------------------------------------------------------------- /scripts/matt-might-exceptions.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rain-1/continuations-study-group/HEAD/scripts/matt-might-exceptions.rkt -------------------------------------------------------------------------------- /scripts/matt-might-omniscience.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rain-1/continuations-study-group/HEAD/scripts/matt-might-omniscience.rkt -------------------------------------------------------------------------------- /scripts/prefixes.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rain-1/continuations-study-group/HEAD/scripts/prefixes.rkt --------------------------------------------------------------------------------