; 1; Courant Institute of Mathematical Sciences; New York University; 1
SVM HeaderParse 0.2
; 715 Broadway, 7th floor; New York, N.Y. 10003, USA
SVM HeaderParse 0.1
I would like to thank my research advisor, Bob Paige, for his genuine personal concern for me, his academic interest in my progress, and his patience with a (possibly too) independent mind over many years. I am also grateful to Eric Allender for his outgoing willingness to discuss and answer questions on complexity theory in great detail and his personal interest in my work; to Alex Borgida for keeping me informed on what the type theory community is up to; to Jiazhen Cai for applying his problem-solving skills and providing valuable ideas on how to approach the decidability of semi-unification; to Ernie Campbell for many discussions on types, type inference, type abstraction and for helping me make it to the Federal Express office by 9:37 p.m. on more than one occassion; to Corky Cartwright for helping me in more ways than he can probably imagine; to Ken Perry for sharing his insights into the complexity of unification-like problems with me; to Ed Schonberg for leaving me all the academic freedom in pursuing my work on the SETL Project that I could hope for while offering advice and encouragement; to Ravi Sethi for introducing me to the fascinating world of types in programming languages; to Matthew Smosna for being the best office mate this side of the Vistula and for providing me with endless supplies of scratch paper; and to Ann Yasuhara for being an authority on whose advice I could always count on.