|
|
eCommons@Cornell >
Browsing by Author Morrisett, Greg
Showing results 1 to 12 of 12
| Preview | Issue Date | Title | Author(s) | | Oct-1999 | Alias Types | Smith, Frederick; Walker, David; Morrisett, Greg |
| 8-Mar-2000 | Alias Types for Recursive Data Structures (Extended Version) | Walker, David; Morrisett, Greg |
| 10-Nov-2005 | Certified In-lined Reference Monitoring on .Net | Hamlen, Kevin; Morrisett, Greg; Schneider, Fred |
| 27-Oct-2000 | Compiling for Runtime Code Generation (Extended Version) | Smith, Frederick; Grossman, Dan; Morrisett, Greg; Hornof, Luke; Jim, Trevor |
| 26-Aug-2003 | Computability Classes for Enforcement Mechanisms | Hamlen, Kevin W.; Morrisett, Greg; Schneider, Fred B. |
| 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 1 to 12 of 12
|
