pl-papers

item	posted by	score
Cardelli - Type Systems	tommy	—
Minamide, Morrisett, Harper - Typed Closure Conversion	tommy	—
From System F to Typed Assembly Language	tommy	—
Matthews & Findler - Operational Semantics for Multi-Language Programs	tommy	—
Ahmed - Equivalence-Preserving CPS Translation	tommy	—
Xavier Leroy - CompCert	tommy	—
Dybjer - Dependent Types at Work	tommy	—
George Necula - Proof-Carrying Code	tommy	—
Appel - Foundational Proof-Carrying Code	tommy	—