Re: Definitions

Article View: comp.lang.functional

Article #175

Back to comp.lang.functional Previous Next

#175

From: Stefan Kahrs
Date: Fri, 21 Aug 1992 11:02

18 lines
1372 bytes

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

Technical Details

Message-ID: <SMK.92Aug21120255@scarp.dcs.ed.ac.uk>

Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!uknet!edcastle!dcs.ed.ac.uk!smk

References: <9910@uqcspe.cs.uq.oz.au> <BtAIzF.7wJ@news.larc.nasa.gov>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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

Reply to Parent Message