eCommons@Cornell: Browsing eCommons

Browsing by Author Cheney, James

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 1 to 5 of 5

Issue Date	Title	Author(s)
16-Nov-2001	Cyclone User's Manual, Version 0.1.3	Grossman, Dan; Morrisett, Greg,; Jim, Trevor; Hicks, Michael; Wang, Yanling; Cheney, James
10-Jul-2003	First-Class Phantom Types	Cheney, James; Hinze, Ralf
30-Nov-2001	Formal Type Soundness for Cyclone's Region System	Grossman, Dan; Morrisett, Greg,; Jim, Trevor; Hicks, Mike; Wang, Yanling; Cheney, James
4-Jun-2003	A Linearly Typed Assembly Language	Cheney, James; Morrisett, Greg
23-May-2001	Toward a Theory of Information Preservation	Cheney, James; Lagoze, Carl; Botticelli, Peter

Showing results 1 to 5 of 5