|
|
eCommons@Cornell >
Browsing by Author Grossman, Dan
Showing results 1 to 6 of 6
| Preview | Issue Date | Title | Author(s) | | 27-Oct-2000 | Compiling for Runtime Code Generation (Extended Version) | Smith, Frederick; Grossman, Dan; Morrisett, Greg; Hornof, Luke; Jim, Trevor |
| 16-Nov-2001 | Cyclone User's Manual, Version 0.1.3 | Grossman, Dan; Morrisett, Greg,; Jim, Trevor; Hicks, Michael; Wang, Yanling; Cheney, James |
| 17-Oct-2001 | Existential Types for Imperative Languages: Technical Results | Grossman, Dan |
| 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 1 to 6 of 6
|
