Adding Delimited and Composable Control to a Production Programming Environment

Matthew Flatt, Gang Yu, Robert Bruce Findler, Matthias Felleisen

• The paper (PDF) from ICFP'07

• An updated executable model (using PLT Redex) is included with Racket in share/pkgs/redex-examples/redex/examples/delim-cont

• The orignal executable model from the paper

• Another model that illustrates problems encoding control0 via shift (relevant to section 2 of the paper)

• Racket is the relevant production programming environment

• The racket/control library: documentation, implementation (v370 control.ss library: documentation, implementation )