eCommons@Cornell: Browsing eCommons

Browsing by Author Grossman, Dan

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

Issue Date	Title	Author(s)
30-Nov-2001	Formal Type Soundness for Cyclone's Region System	Grossman, Dan; Morrisett, Greg,; Jim, Trevor; Hicks, Mike; Wang, Yanling; Cheney, James
Jun-1999	Principals in Programming Languages: Technical Results	Zdancewic, Steve; Grossman, Dan
2-Feb-2000	Scalable Certification of Native Code: Experience from Compiling toTALx86	Grossman, Dan; Morrisett, Greg

Showing results 4 to 6 of 6