typo in book


Subject: typo in book
From: Matthias Felleisen (matthias@ccs.neu.edu)
Date: Wed Feb 13 2002 - 15:06:51 EST


Fabio discovere a typo in the book:

  ------- Start of forwarded message -------
  Date: Tue, 12 Feb 2002 17:08:20 -0500 (EST)
  From: Fabio Rojas <frojas@ccs.neu.edu>
  To: Matthias Felleisen <matthias@ccs.neu.edu>
  Subject: Typo in Pierce's Book
  Content-Type: TEXT/PLAIN; charset=US-ASCII

  On page 168 Section 13.5.3

  The 1st paragraph after the presentation of the Preservation Theorem
  line 5 contains the following:

  Sigma' is either Sigma or else it is exactly (mu, l |--> v1)

  This should read

  . . . is exactly (Sigma, l |--> T1)

-- Matthias



This archive was generated by hypermail 2b28 : Wed Feb 13 2002 - 15:06:52 EST