science.types (date)

science.types (date)

October 31, 2006

Looking for Girard's Dissertation, Christopher A. Stone

October 30, 2006

[TYPES/announce] University of Oxford: Lectureships in Software Engineering, Jeremy . Gibbons-wzN9gXeOksgSiZgQ0OGTRA
[TYPES/announce] Call for papers - CISIS 2007: First International Conference on Complex, Intelligent and Software Intensive Systems, Nguyen Manh Tho
Re: CPO semantics of recursive types, Malcolm Tyrrell

October 26, 2006

Re: trace back pattern matching, typecase, Xavier Leroy
[TYPES/announce] CONCUR 2007 Call for Workshop Proposals, Antonio Ravara
Re: CPO semantics of recursive types, Achim Jung
CPO semantics of recursive types, Malcolm Tyrrell

October 25, 2006

Re: trace back pattern matching, typecase, Jacques Carette
trace back pattern matching, typecase, Burak Emir

October 24, 2006

[TYPES/announce] ARES 2007: Call for papers and workshops's papers - Deadline 19-11-2006, Nguyen Manh Tho

October 13, 2006

[TYPES/announce] ECOOP 2007 - CFP - 2 months, Erik Ernst

October 12, 2006

[TYPES/announce] Fun in the Afternoon: Thurs 16th Nov in Oxford, Jeremy . Gibbons-wzN9gXeOksgSiZgQ0OGTRA

October 11, 2006

[TYPES/announce] Call for Participation: TGC 2006 - 2nd symposium on Trustworthy Global Computing, Roberto Bruni

October 09, 2006

[TYPES/announce] ARES 2007: Paper Submission System is ready - Submission Deadline 19-11-2006, Nguyen Manh Tho
ICFP 2007 Call for Workshop Proposals, Graham Hutton

October 03, 2006

Re: Java generics unsoundness?, Atsushi Igarashi
Re: Java generics unsoundness?, Eugene Vigdorchik
Re: Java generics unsoundness?, Eijiro Sumii
Re: Java generics unsoundness?, Erik Ernst

October 02, 2006

Re: Java generics unsoundness?, Pete Kirkham

October 01, 2006

Re: Java generics unsoundness?, Erik Ernst
Re: Java generics unsoundness?, Eijiro Sumii
Java generics unsoundness?, Eijiro Sumii

News | FAQ | advertise