Constraing-Based Type Inference for Polymorphic Programs

Shelfclass_id	3.F.2
Sortkey	WANG, TIEJUN
Authors	Tiejung Wang, TIEJUN WANG
Title	Constraing-Based Type Inference for Polymorphic Programs
Publisher	The John Hopkins University
Year	2001
Languages	eng
Record date	20081006
Location	Baltimore, Maryland