Path: utzoo!attcan!utgpu!jarvis.csri.toronto.edu!rutgers!apple!sun-barr!texsun!pollux!ti-csl!m2!gateley
From: gateley@m2.csc.ti.com (John Gateley)
Newsgroups: comp.lang.scheme
Subject: Re: "unspecified" and SET!
Message-ID: <81872@ti-csl.csc.ti.com>
Date: 22 Jun 89 03:27:48 GMT
References: <3902@kalliope.rice.edu> <19890619192610.2.ALAN@PIGPEN.AI.MIT.EDU> <2281@ubc-cs.UUCP>
Sender: news@ti-csl.csc.ti.com
Reply-To: gateley@m2.UUCP (John Gateley)
Organization: TI Computer Science Center, Dallas
Lines: 15

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