Errata for Advanced Topics in Types and Programming Languages
      Chapter 9, Type Definitions, Christopher A. Stone

Please contact stone@cs.hmc.edu if any further issues are found!

Credits: Derek Dreyer, Geoffrey Washburn

-------------------------------------

p. 356:  The premises in the structural type equivalence 
         cases for function, product, and universal types involve
         algorithmic type equivalence.  Thus, they should be
         written with :: instead of the up-arrow.

p. 360:  In Rule (M-Self1), the type I_I should be I_1.

p. 377:  The generic algorithmic Type Equivalence judgment should
         have a double arrow [\Leftrightarrow], rather than a single
         arrow [\leftrightarrow].