Polymorphic Type Inference and Semi-Unification

Polymorphic Type Inference and Semi-Unification (1989)

Cached

Download Links

[ftp.diku.dk]

Other Repositories/Bibliography

DBLP

by Fritz Henglein

Citations:

21 - 2 self

Versions

Version History

Metadata Version 1

Datum	Value	Source
TITLE	Acknowledgements	SVM HeaderParse 0.1
AUTHOR NAME	Fritz Henglein	SVM HeaderParse 0.1
AUTHOR AFFIL	; 1; Courant Institute of Mathematical Sciences; New York University; 1	SVM HeaderParse 0.2
AUTHOR ADDR	; 715 Broadway, 7th floor; New York, N.Y. 10003, USA	SVM HeaderParse 0.1
ABSTRACT	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.	SVM HeaderParse 0.1
CITATIONS	123 found	ParsCit 1.0