Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!linus!gatech!
From: @gatech.UUCP
Newsgroups: mod.ai
Subject: Re:  Lisp & lazy evaluation
Message-ID: <8606062052.AA04161@decwrl.DEC.COM>
Date: Fri, 6-Jun-86 19:04:00 EDT
Article-I.D.: decwrl.8606062052.AA04161
Posted: Fri Jun  6 19:04:00 1986
Date-Received: Thu, 19-Jun-86 03:42:35 EDT
Sender: daemon@styx.UUCP
Organization: The ARPA Internet
Lines: 67
Approved: ailist@sri-ai.arpa


The bibliographies contained in the two books

	Henderson, Peter,
	``Functional Programming:  Application and Implementation,''
	Prentice-Hall International,
	London,
	1980.

and

	Darlington, J., Peter Henderson and David A. Turner, editors,
	``Functional Programming and its Applications:  an Advanced Course,''
	Cambridge University Press,
	Cambridge,
	1982.

point to the following historical references:

	Burge, W. H.,
	``Recursive Programming Techniques,''
	Addison-Wesley,
	Reading, Massachusetts,
	1975.

	Friedman, D. P., and D. S. Wise,
	`CONS Should Not Evaluate its Arguments,'
	in ``Automata, Languages and Programming,''
	S. Michaelson and R. Milner, editors,
	Edinburgh University Press,
	Edinburgh,
	1976

	Henderson, Peter and J. M. Morris,
	`A Lazy Evaluator,'
	in ``Proceedings of the 3rd POPL Symposium,''
	Atlanta, Georgia,
	1976.

	Kahn, G., and D. McQueen,
	`Coroutines and Networks of Parallel Processors,'
	in ``Information Processing 77''
	North-Holland,
	Amsterdam,
	1977.

	Landin, P. J.,
	`A Correspondence between Algol 60 and Church's Lambda Calculus,'
	in ``Communications of the ACM''
	Volume 8, number 3,
	pages 158-165,
	1965.

	Vuillemin, J. E.,
	``Proof Techniques for Recursive Programs,''
	Memo AIM-318, STAN-CS-73-393,
	Stanford University,
	1973.


You may also want to ask David Turner about his experiences with his ``Miranda''
functional programming environment.  Indeed, he is distributing it, if you would
like to play with it yourself.  His electronic address is:

	dat%ukc@ucl-cs

(He's currently at the University of Kent at Canterbury.)