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 11 to 12 of 12

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