Book on types

Is there a book introducing types in programming languages
(I mean an overview, not focussing on a particular language)
that could be used for a course at the undergraduate or
graduate level?

Till Mossakowski

 [ For advanced graduate courses, some natural choices (did I leave any out?) 
   would be John Mitchell's Foundations for Programming Languages; 
   Martin Abadi and Luca Cardelli's A Theory of Objects; John Reynolds's 
   Theories of Programming Languages; Girard, Lafont, and Taylor's Proofs
   and Types; and Simon Thompson's Type Theory and Functional Programming.  
   The Reynolds book might be suitable for advanced undergraduates; in
   addition there is Dave Schmidt's The Structure of Typed Programming
   Languages.  Also see the following posting...
                                                      -- BCP ]

Till Mossakowski                Phone +49-421-218-4683, monday: +49-4252-1859
Dept. of Computer Science       Fax +49-421-218-3054
University of Bremen            till@informatik.uni-bremen.de           
P.O.Box 330440, D-28334 Bremen  http://www.informatik.uni-bremen.de/~till