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

From: Shriram Krishnamurthi (sk at cs.brown.edu)
Date: 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


Posted on the users mailing list.