|
|
|
Volumn , Issue , 1993, Pages 52-61
|
|
System of constructor classes: Overloading and implicit higher-order polymorphism
a
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
ALGORITHMS;
CODES (SYMBOLS);
COMPUTATIONAL LINGUISTICS;
COMPUTER PROGRAMMING LANGUAGES;
DATA STRUCTURES;
EQUIVALENCE CLASSES;
FORMAL LOGIC;
FUNCTION EVALUATION;
TREES (MATHEMATICS);
CONSTRUCTOR CLASSES;
HASKELL;
HIGHER ORDER POLYMORPHISM;
MAP FUNCTION;
OVERLOADING;
COMPUTER SOFTWARE;
|
|
EID: 0027878532
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
|
Times cited : (53)
|
|
References (15)
|
