![]() |
Volumn 45, Issue 4, 2002, Pages 436-452
|
Explaining polymorphic types
a
a
|
Author keywords
[No Author keywords available]
|
Indexed keywords
ALGORITHMS;
COMPUTER PROGRAM LISTINGS;
ERROR ANALYSIS;
HUMAN COMPUTER INTERACTION;
INFERENCE ENGINES;
RELIABILITY;
SEMANTICS;
HINDLEY-MILNER INFERENCE;
COMPUTER PROGRAMMING LANGUAGES;
|
EID: 0036318816
PISSN: 00104620
EISSN: None
Source Type: Journal
DOI: 10.1093/comjnl/45.4.436 Document Type: Article |
Times cited : (16)
|
References (30)
|