science.types (date)

science.types (date)

December 06, 2006

[TYPES/announce] ECOOP 2007 - CFC, with last CFP - ONE WEEK, Erik Ernst

December 05, 2006

Is Quick Sort slower than Insertion Sort in type theories?, Yong Luo

December 01, 2006

How fast is the fastest sorting program in type theories?, Yong Luo
[TYPES/announce] ARES 2007 Last Call for papers - Submission due is today - (30-11-2006), Nguyen Manh Tho

News | FAQ | advertise