Description

The lecture is in three parts. In the rst part we dene, primarily by example, the key
terms. These are conventional procedures, escape procedures and continuations. The
primitive notions of lambda^ and call/cc are presented. In the second part we develop
examples of simple applications, specically a simple LISP-like BREAK and a CYCLE pro-
cedure which loops indenitely, but makes available the ability to break out of the loop.
Also in this section we point out that call/cc is not strictly necessary if all procedures
are written in continuation-passing-styl e. We complete this section by demonstrating that
even the unpopular GO TO style programming of LISP's PROG looks reasonable in the
presence of the proper uses of call/cc. In the last section we develop a DISPATCHER for
synchronous processes.