[plt-scheme] Behind the scenes, is everything running using continuation passing style?

Shriram Krishnamurthi sk at cs.brown.edu
Wed Nov 14 08:03:00 EST 2007


Continuations are traditionally implemented via low-level stack
manipulation (eg, stack-copying).

See the complaints against using CPS listed in:

  ICFP 2005 Pettyjohn, Clements, Marshall, Krishnamurthi, Felleisen
  Continuations from Generalized Stack Inspection
  http://www.cs.brown.edu/~sk/Publications/Papers/Published/pcmkf-cont-from-gen-stack-insp/

If you *really* want to understand what's going on with CPS for
compilation, read also the paper on A-normalization:

  PLDI 93 Flanagan, Sabry, Duba and Felleisen
  The Essence of Compiling with Continuations
  http://www.cs.rice.edu/CS/PLT/Publications/Scheme/pldi93-fsdf.ps.gz

Shriram



More information about the plt-scheme mailing list