science.types (thread)

Inconsistency and non dependent sum elimination, Param Jyothi Reddy
Completeness of powersimulation, Malcolm Tyrrell
[TYPES/announce] CONCUR 07: Call For Participation, Luís Caires
Re: [Coq-Club] Proof term for proof by exhaustion, Param Jyothi Reddy
Proof term for proof by exhaustion, Param Jyothi Reddy
[TYPES/announce] Postdoc: Program Analysis with Separation Logic, Peter O'Hearn
a paper available on "Record Unboxing", a new type-based optimization, Atsushi Ohori
CFP: DAMP 2008, Petersen, Leaf