Resources
Robert Harper. Programming Languages: Theory and Practice. Draft 2002.
Benjamin Pierce. Types and Programming Languages. MIT press. 2002.
Greg Morrisett. A course on Language-Based Security.
CMU pop group. The Concert Project.
Cornell TAL group. The Typed Assembly Language Project.
Peter Lee. Proof Carrying Code.