|
Volumn , Issue , 1991, Pages 291-302
|
Polymorphic type inference and assignment
|
Author keywords
[No Author keywords available]
|
Indexed keywords
GENERIC FUNCTIONS;
IMPERATIVE PROGRAMMING;
ML-LIKE LANGUAGES;
NEW APPROACHES;
POLYMORPHIC TYPES;
TYPE RECONSTRUCTION;
TYPE SYSTEMS;
|
EID: 84971962400
PISSN: 07308566
EISSN: None
Source Type: Conference Proceeding
DOI: 10.1145/99583.99622 Document Type: Conference Paper |
Times cited : (39)
|
References (17)
|