Documents Related by Co-Citation

262 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
595 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
1111 Proof-Carrying Code – George C. Necula - 1997
156 Typed closure conversion – Yasuhiko Minamide, Greg Morrisett, Robert Harper - 1996
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
77 Flexible Type Analysis – Karl Crary, Stephanie Weirich - 1999
400 Safe Kernel Extensions Without Run-Time Checking – George C. Necula, Peter Lee
1089 Java virtual machine specification – Tim Lindholm, Frank Yellin
689 Efficient Software-Based Fault Isolation – Robert Wahbe, Steven Lucco, Thomas E. Anderson, Susan L. Graham - 1993