Text Review: Theories of Programming Languages (Reynolds)

"Quinn Tyler Jackson" <qjackson@wave.home.com>
31 Oct 1999 01:26:12 -0400

          From comp.compilers

Related articles
Text Review: Theories of Programming Languages (Reynolds) qjackson@wave.home.com (Quinn Tyler Jackson) (1999-10-31)
| List of all articles for this month |

From: "Quinn Tyler Jackson" <qjackson@wave.home.com>
Newsgroups: comp.compilers
Date: 31 Oct 1999 01:26:12 -0400
Organization: Compilers Central
Keywords: books

Theories of Programming Languages
John C. Reynolds
Cambridge University Press (1998), pp. 500
ISBN: 0-521-59414-6

Often, texts that cover many topics in a branch computer science are
jacks-of-all-trades and masters of none, and I suspect that because of
this, surveys are among the most difficult to pull off, even though
they are necessary to provide a genesis for the breadth requirements
of graduate students. Reyonds has done a superb job of surveying many
crucial topics the senior undergraduate or beginning graduate language
theorist is likely to encounter. Particularly impressive are
Reynold's bibliographic rigor and his treatment of the Lambda Calculus
- a topic normally not sufficiently addressed by other texts. This
book fills the need for texts that provide a means of determining
which of the many specializations are of most interest.

Quinn Tyler Jackson

Post a followup to this message

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