In article <2281@ubc-cs.UUCP> manis@grads.cs.ubc.ca (Vincent Manis) writes:
>Going to the trouble to develop a calculus of unspecified values
>strikes me as almost as silly as some of the things I did when I was
>involved in writing an Algol 68 compiler.
...
>____________ Vincent Manis | manis@cs.ubc.ca
...
Do you mean Matthias Felleisen's calculus for Scheme? It is neither a
calculus of unspecified values nor silly. It is a better theoretical
basis for Scheme than the lambda value calculus: it includes both
set! style side effects and continuations in its equations.
John
gateley@m2.csc.ti.com