Skip to main content


eCommons@Cornell

eCommons@Cornell >

Browsing by Author Morrisett, Greg

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:   
Sort by: In order: Results/Page Authors/Record:
Showing results 1 to 12 of 12
PreviewIssue DateTitleAuthor(s)
Oct-1999Alias TypesSmith, Frederick; Walker, David; Morrisett, Greg
8-Mar-2000Alias Types for Recursive Data Structures (Extended Version)Walker, David; Morrisett, Greg
10-Nov-2005Certified In-lined Reference Monitoring on .NetHamlen, Kevin; Morrisett, Greg; Schneider, Fred
27-Oct-2000Compiling for Runtime Code Generation (Extended Version)Smith, Frederick; Grossman, Dan; Morrisett, Greg; Hornof, Luke; Jim, Trevor
26-Aug-2003Computability Classes for Enforcement MechanismsHamlen, Kevin W.; Morrisett, Greg; Schneider, Fred B.
Nov-1997From System F to Typed Assembly Language (Extended Version)Morrisett, Greg; Walker, David; Crary, Karl; Glew, Neal
Nov-1998Intensional Polymorphism in Type-Erasure SemanticsCrary, Karl; Weirich, Stephanie; Morrisett, Greg
20-Nov-2000A Language-Based Approach to SecuritySchneider, Fred; Morrisett, Greg; Harper, Robert
4-Jun-2003A Linearly Typed Assembly LanguageCheney, James; Morrisett, Greg
Aug-1997Mostly-Copying Collection: A Viable Alternative to ConservativeMark-SweepSmith, Frederick; Morrisett, Greg
2-Feb-2000Scalable Certification of Native Code: Experience from Compiling toTALx86Grossman, Dan; Morrisett, Greg
2-Feb-2000Typed Memory Management in a Calculus of CapabilitiesWalker, David; Crary, Karl; Morrisett, Greg
Showing results 1 to 12 of 12

 

© 2014 Cornell University Library Contact Us