science.types (thread)

[TYPES/announce] ECOOP 2007 - CFC, with last CFP - ONE WEEK, Erik Ernst
Is Quick Sort slower than Insertion Sort in type theories?, Yong Luo
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