Subject: Re: call/cc evaluation
From: (Rob Warnock)
Date: 4 Nov 2000 04:26:00 GMT
Newsgroups: comp.lang.scheme
Message-ID: <8u034o$blddu$>
Brian Campbell  <> wrote:
| I'm trying to get a handle on call/cc...

I strongly suggest you buy & read this book (which, despite the title,
is really about Scheme [mostly]):

        "Lisp in Small Pieces", by Christian Queinnec
        [Originally in French as "Les Langages Lisp".]

The book presents a series of interpreters and compilers for Scheme,
each one handling additional details and/or refinements of the previous.
Issues of how full continuations interact with various parts of the
implementations are visited several times.

He also goes into extensive detail in presenting various options
for representing environments & lexical variables, code (at various
levels of interpretation and compilation), closures, stacks, etc.

Absolutely essential reading IMHO for anyone who wants to get
"under the covers" of the semantics & implementation of Scheme.


p.s. The chapter on denotational semantics may seem daunting at first.
Fortunately, you can skim it or even skip it on first reading without
losing all that much. (Though if you do, it *is* well worth going back
and reading it more closely later.)

Rob Warnock, 31-2-510
Network Engineering
Silicon Graphics, Inc.		Phone: 650-933-1673
1600 Amphitheatre Pkwy.		PP-ASEL-IA
Mountain View, CA  94043