Request: Ref to Scott's proof of recursive structure minimality

Terrence Brannon (brannon@rana.usc.edu)
Sat, 4 Nov 1995 16:30:10 GMT

          From comp.compilers
Related articles
Request: Ref to Scott's proof of recursive structure minimality Terrence Brannon (1995-11-04)
Re: Request: Ref to Scott's proof of recursive structure minimality cliffc@ami.sps.mot.com (1995-11-06)
Re: Request: Ref to Scott's proof of recursive structure minimality dirkd@daimi.aau.dk (1995-11-23)
| List of all articles for this month |
Newsgroups: comp.compilers
From: Terrence Brannon (brannon@rana.usc.edu)
Keywords: functional, question
Organization: Compilers Central
Date: Sat, 4 Nov 1995 16:30:10 GMT

I am reading a book called "Functional Programming" by
B.J. Maclennan. He states:


"Scott(1974) showed that recursive structure declarations
always have a unique minimum solution."


However, there is no ref to this paper in his biblio. Can anyone point
me to the proper paper?


Terrence Brannon (brannon@rana.usc.edu)
University of Southern California
3614 Watt Way, LA, CA 90089-2520
(213) 740-6995
(213) 764-9845
--

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.