Polymorphic Type Inference for Languages with Overloading and Subtyping

Shelfclass_id	3.F.2
Sortkey	SMITH, GEOFFREY SEWARD
Authors	Geoffrey Seward Smith
Title	Polymorphic Type Inference for Languages with Overloading and Subtyping
Publisher	Cornell University
Year	1991
Languages	eng
Record date	20081006
Location	Ithaca