eCommons@Cornell: Browsing eCommons

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:

Showing results 8 to 12 of 12

Issue Date	Title	Author(s)
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 8 to 12 of 12