|
557
|
From System F to Typed Assembly Language
– Greg Morrisett, David Walker, Karl Crary, Neal Glew
- 1998
|
|
252
|
Compiling polymorphism using intensional type analysis
– Robert Harper, Greg Morrisett
- 1995
|
|
1016
|
Proof-Carrying Code
– George C. Necula
- 1997
|
|
132
|
Intensional Polymorphism in Type-Erasure Semantics
– Karl Crary, Stephanie Weirich, Greg Morrisett
- 2002
|
|
267
|
G.D.: Abstract types have existential types
– J C Mitchell, Plotkin
- 1988
|
|
190
|
ORBIT: An optimizing compiler for Scheme
– D KRANZ, R KELSEY, J REES, P HUDAK, J PHILBIN, N ADAMS
- 1986
|
|
163
|
Unboxed Objects and Polymorphic Typing
– Xavier Leroy
- 1992
|
|
89
|
Abstract Models of Memory Management
– Greg Morrisett, Matthias Felleisen, Robert Harper
- 1995
|
|
595
|
Compiling with Continuations
– Andrew Appel
- 1992
|
|
1023
|
Yellin F. Java Virtual Machine Specification
– T Lindholm
- 1999
|
|
136
|
A Linearly Typed Assembly Language
– James Cheney, Greg Morrisett
|
|
157
|
Alias Types
– Frederick Smith, David Walker, Greg Morrisett
- 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
|
|
381
|
Safe Kernel Extensions Without Run-Time Checking
– George C. Necula, Peter Lee
|
|
245
|
The Design and Implementation of a Certifying Compiler
– George C. Necula , Peter Lee
- 1998
|
|
40
|
Semantics of memory management for polymorphic languages
– Greg Morrisett, Robert Harper
- 1997
|
|
65
|
Explicit Polymorphism and CPS Conversion
– Robert Harper , Mark Lillibridge
- 1992
|
|
490
|
A Syntactic Approach to Type Soundness
– Andrew K. Wright, Matthias Felleisen
- 1992
|
