|
eCommons@Cornell >
Browsing by Author Morrisett, Greg
Showing results 6 to 12 of 12
| Preview | Issue Date | Title | Author(s) | | Nov-1997 | From System F to Typed Assembly Language (Extended Version) | Morrisett, Greg; Walker, David; Crary, Karl; Glew, Neal |
| Nov-1998 | Intensional Polymorphism in Type-Erasure Semantics | Crary, Karl; Weirich, Stephanie; Morrisett, Greg |
| 20-Nov-2000 | A Language-Based Approach to Security | Schneider, Fred; Morrisett, Greg; Harper, Robert |
| 4-Jun-2003 | A Linearly Typed Assembly Language | Cheney, James; Morrisett, Greg |
| Aug-1997 | Mostly-Copying Collection: A Viable Alternative to ConservativeMark-Sweep | Smith, Frederick; Morrisett, Greg |
| 2-Feb-2000 | Scalable Certification of Native Code: Experience from Compiling toTALx86 | Grossman, Dan; Morrisett, Greg |
| 2-Feb-2000 | Typed Memory Management in a Calculus of Capabilities | Walker, David; Crary, Karl; Morrisett, Greg |
Showing results 6 to 12 of 12
|
