science.types (date)

science.types (date)

September 18, 2008

[TYPES/announce] Constructive Topology - Workshop G. Sambin 60, Peter Schuster

September 11, 2008

[TYPES/announce] Final Call for Participation: VSTTE'08, paige-l9TVMAoMiWs2EctHIo1CcQ
Re: Reference to typed first class pattern matching, Philip Wadler

September 10, 2008

Re: Reference to typed first class pattern matching, eduardo-I/WuembVERHfmZLQc+vOnm60nDhgSFigqSblbbW8eSQ

September 09, 2008

Re: Reference to typed first class pattern matching, Matthias Blume
Re: Reference to typed first class pattern matching, Edsko de Vries
Reference to typed first class pattern matching, Michael Lienhardt

September 04, 2008

POPL logo design contest, Swarat Chaudhuri

September 03, 2008

[TYPES/announce] TYPES 2008 Volume: EXTENDED DEADLINE to Wednesaday, October 15, 2008, Stefano Berardi

September 02, 2008

New book/please advertise on Types List, Michel Schellekens

News | FAQ | advertise