Books+ Search Results
A type system for certified runtime type analysis
Author
Title
A type system for certified runtime type analysis [microform] / by Bratin Saha.
Published
[2003], c2002.
Physical Description
vi, 211 leaves ; 29 cm.
Notes
Microfilm. Ann Arbor, Mich. : ProQuest, 2003. 1 microfilm reel ; 35 mm.
Format
Books / Dissertations & Theses / Microforms
Language
English
Added to Catalog
September 02, 2003
Thesis note
Thesis (Ph. D.)--Yale University, 2002.
Subjects (Local Yale)
Bookmark As
Citation
