Active Bibliography

8 From System F to Typed Assembly Language (Extended Version) – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
Abstract From System F to Typed Assembly Language ∗ – Greg Morrisett, David Walker, Karl Crary, Neal Glew
190 Dynamic Software Updating – Michael Hicks - 2001
4 Low-Level Type Systems for Modularity and Object-Oriented Constructs – Arthur Neal Glew - 2000
117 Resource Bound Certification – Karl Crary, Stephanie Weirich - 2000
228 TIL: A Type-Directed Optimizing Compiler for ML – David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee - 1995
89 A Type System for Expressive Security Policies – David Walker - 2000
1111 Proof-Carrying Code – George C. Necula - 1997
148 A Linearly Typed Assembly Language – James Cheney, Greg Morrisett