science.types (thread)

[TYPES/announce] Constructive Topology - Workshop G. Sambin 60, Peter Schuster
[TYPES/announce] Final Call for Participation: VSTTE'08, paige-l9TVMAoMiWs2EctHIo1CcQ
Reference to typed first class pattern matching, Michael Lienhardt
- Re: Reference to typed first class pattern matching, Edsko de Vries
- Re: Reference to typed first class pattern matching, Matthias Blume
- Re: Reference to typed first class pattern matching, eduardo-I/WuembVERHfmZLQc+vOnm60nDhgSFigqSblbbW8eSQ
  - Re: Reference to typed first class pattern matching, Philip Wadler
POPL logo design contest, Swarat Chaudhuri
[TYPES/announce] TYPES 2008 Volume: EXTENDED DEADLINE to Wednesaday, October 15, 2008, Stefano Berardi
New book/please advertise on Types List, Michel Schellekens