home *** CD-ROM | disk | FTP | other *** search
- Path: sparky!uunet!mcsun!uknet!edcastle!dcs.ed.ac.uk!smk
- From: smk@dcs.ed.ac.uk (Stefan Kahrs)
- Newsgroups: comp.lang.functional
- Subject: Re: Definitions
- Message-ID: <SMK.92Aug21120255@scarp.dcs.ed.ac.uk>
- Date: 21 Aug 92 11:02:55 GMT
- References: <9910@uqcspe.cs.uq.oz.au> <BtAIzF.7wJ@news.larc.nasa.gov>
- Sender: nnews@dcs.ed.ac.uk
- Distribution: comp
- Organization: University of Edinburgh, LFCS
- Lines: 18
- In-reply-to: goodrich@lynx.larc.nasa.gov's message of 20 Aug 92 16:26:02 GMT
-
- In article <BtAIzF.7wJ@news.larc.nasa.gov> goodrich@lynx.larc.nasa.gov (Mike Goodrich) writes:
-
- [... Michael Norris asking about FuncProg terminology ...]
- > I am currently reading "Functional Programming: Practice and Theory"
- > by Bruce J. MacLennan and highly recommend it.
-
- My 0.02$:
- I cannot support that. The book is not a very good source for
- definitions, in particular when it comes to formal definitions (the
- section about lambda-calculus is awful).
-
- --
- Stefan Kahrs JANET: smk@uk.ac.ed.dcs
- LFCS, Dept. of Computer Science Internet: smk@dcs.ed.ac.uk
- University of Edinburgh UUCP: ..!mcsun!uknet!dcs!smk
- Edinburgh ARPA: smk%dcs.ed.ac.uk@nsfnet-relay.ac.uk
- EH9 3JZ Tel: (44)-31-650-5139
- SCOTLAND Fax: (44)-31-667-7209
-