Documents Related by Co-Citation

252 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
74 Flexible Type Analysis – Karl Crary, Stephanie Weirich - 1999
146 Typed closure conversion – Yasuhiko Minamide, Greg Morrisett, Robert Harper - 1996
557 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
1016 Proof-Carrying Code – George C. Necula - 1997
381 Safe Kernel Extensions Without Run-Time Checking – George C. Necula, Peter Lee
490 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
1023 Yellin F. Java Virtual Machine Specification – T Lindholm - 1999
186 Typed Memory Management in a Calculus of Capabilities – David Walker, Karl Crary, Greg Morrisett - 2000
143 TALx86: A Realistic Typed Assembly Language – Greg Morrisett, Karl Crary, Neal Glew, Dan Grossman, Richard Samuels, Frederick Smith, David Walker, Stephanie Weirich, Steve Zdancewic - 1999
245 The Design and Implementation of a Certifying Compiler – George C. Necula , Peter Lee - 1998
392 Extensibility, safety and performance in the SPIN operating system – Brian N. Bershad, Stefan Savage, Przemys Pardyak, Emin Gun Sirer, Marc E. Fiuczynski, David Becker, Craig Chambers, Susan Eggers - 1995
40 Semantics of memory management for polymorphic languages – Greg Morrisett, Robert Harper - 1997
163 Unboxed Objects and Polymorphic Typing – Xavier Leroy - 1992
35 Higher-Order Intensional Type Analysis – Stephanie Weirich - 2002
148 Dynamic Typing in a Statically Typed Language – Martín Abadi, Luca Cardelli, Benjamin Pierce, Gordon Plotkin - 1989
84 A New Approach to Generic Functional Programming – Ralf Hinze - 1999
161 PolyP - a polytypic programming language extension – Patrik Jansson, Johan Jeuring - 1997
195 Une extension de l’interprétation de Gödel à l’analyse et son application à l’élimination des coupures dans l’analyse et la théorie des types – J-Y Girard - 1970