jwb@cive.ri.cmu.edu (John Baugh) (10/18/88)
I'm looking for sources for the following:
(1) the examples in:
"Programming Language Theory and its Implementation"
by Michael J. C. Gordon, Prentice Hall, 1988.
From the cover:
The book is divided into three parts. Part I, Proving
Programs Correct ... Part II, The Lambda-Calculus and
Combinators ... Part III, Implementing the Theories,
contains detailed descriptions of ... Parts I and II.
This includes a complete program verifier, based on
a simple re-writing engine, and a tool kit for
experimenting with implementation techniques for
functional languages. Example programs are written in
a subset of Lisp ...
(2) SMALL, a functional language describe in:
"SMALL: a small interactive functional system"
by L. Augustsson, Chalmers, Report 28, 1986.
I don't remember the details, but it seems the interpreter
was written in C, and based on combinator reduction. I'd
also be interested in anything similar.
If you have these sources, or know how I might obtain them, please
send email. If I get some interesting responses I'll post a summary.
Thanks,
John Baugh (jwb@cive.ri.cmu.edu)
Carnegie Mellon University