science.types (date)

science.types (date)

July 30, 2007

Inconsistency and non dependent sum elimination, Param Jyothi Reddy

July 17, 2007

Completeness of powersimulation, Malcolm Tyrrell

July 11, 2007

[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

July 08, 2007

[TYPES/announce] Postdoc: Program Analysis with Separation Logic, Peter O'Hearn

July 05, 2007

a paper available on "Record Unboxing", a new type-based optimization, Atsushi Ohori
CFP: DAMP 2008, Petersen, Leaf

News | FAQ | advertise