Documents Related by Co-Citation

260 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
76 Flexible Type Analysis – Karl Crary, Stephanie Weirich - 1999
154 Typed closure conversion – Yasuhiko Minamide, Greg Morrisett, Robert Harper - 1996
588 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
1097 Proof-Carrying Code – George C. Necula - 1997
399 Safe Kernel Extensions Without Run-Time Checking – George C. Necula, Peter Lee
1073 F.: The Java Virtual Machine Specification – T Lindholm, Yellin - 1999
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
171 Unboxed Objects and Polymorphic Typing – Xavier Leroy - 1992
155 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
44 Fully Reflexive Intensional Type Analysis – Valery Trifonov, Bratin Saha, Zhong Shao - 2000
196 Typed Memory Management in a Calculus of Capabilities – David Walker, Karl Crary, Greg Morrisett - 2000
271 The Design and Implementation of a Certifying Compiler – George C. Necula , Peter Lee - 1998
405 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
42 Semantics of memory management for polymorphic languages – Greg Morrisett, Robert Harper - 1997
36 Higher-Order Intensional Type Analysis – Stephanie Weirich - 2002
156 Dynamic typing in a statically typed language – M. Abadi, L. Cardelli, B. Pierce, G. Plotkin, Matthias Berg, Advisor Andreas Rossberg - 1991
38 Extensional polymorphism – C Dubois, F Rouaix, P Weis - 1995
96 A New Approach to Generic Functional Programming – Ralf Hinze - 1999