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 6 to 12 of 12
< previous 
PreviewIssue DateTitleAuthor(s)
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 6 to 12 of 12
< previous 

 

© 2014 Cornell University Library Contact Us