science.types (thread)

Looking for Girard's Dissertation, Christopher A. Stone
[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
[TYPES/announce] CONCUR 2007 Call for Workshop Proposals, Antonio Ravara
CPO semantics of recursive types, Malcolm Tyrrell
- Re: CPO semantics of recursive types, Achim Jung
- Re: CPO semantics of recursive types, Malcolm Tyrrell
trace back pattern matching, typecase, Burak Emir
- Re: trace back pattern matching, typecase, Jacques Carette
- Re: trace back pattern matching, typecase, Xavier Leroy
[TYPES/announce] ARES 2007: Call for papers and workshops's papers - Deadline 19-11-2006, Nguyen Manh Tho
[TYPES/announce] ECOOP 2007 - CFP - 2 months, Erik Ernst
[TYPES/announce] Fun in the Afternoon: Thurs 16th Nov in Oxford, Jeremy . Gibbons-wzN9gXeOksgSiZgQ0OGTRA
[TYPES/announce] Call for Participation: TGC 2006 - 2nd symposium on Trustworthy Global Computing, Roberto Bruni
[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
Java generics unsoundness?, Eijiro Sumii
- Re: Java generics unsoundness?, Eijiro Sumii
- Re: Java generics unsoundness?, Erik Ernst
  - Re: Java generics unsoundness?, Pete Kirkham
    - Re: Java generics unsoundness?, Erik Ernst
  - Re: Java generics unsoundness?, Atsushi Igarashi
- Re: Java generics unsoundness?, Eijiro Sumii
- Re: Java generics unsoundness?, Eugene Vigdorchik