------- The Types Forum -------
http://www.cs.indiana.edu/hyplan/pierce/types.html
I'm sure I speak for the whole community in thanking Phil for the
excellent job he has done as Types moderator and wishing him great
success at Lucent.
Benjamin Pierce
P.S. It may take a few days to iron out bugs in the new moderation and
distribution procedures -- your forebearance is appreciated.