eCommons@Cornell: Browsing eCommons

Browsing by Author Crary, Karl

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 6 to 7 of 7

Preview	Issue Date	Title	Author(s)
	2-Feb-2000	Typed Memory Management in a Calculus of Capabilities	Walker, David; Crary, Karl; Morrisett, Greg
	Aug-1998	Type-Theoretic Methodology for Practical Programming Languages	Crary, Karl

Showing results 6 to 7 of 7