With some help from David Jones at MIT, I have constructed what I
believe is a comprehensive archive of postings to the TYPES forum. It
is available through
http://www.cs.indiana.edu/types/archives/
(for the current year, use
http://www.cs.indiana.edu/types/archives/current
) and should be updated automatically from now on.
Benjamin Pierce
Types forum moderator