|
|
Volumn , Issue , 1990, Pages 282-287
|
|
Partial type inference for untyped functional programs
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
COMPUTER METATHEORY - PROGRAMMING THEORY;
ALGORITHMS;
CALCULATIONS;
COMPUTATIONAL LINGUISTICS;
COMPUTATIONAL MECHANICS;
COMPUTER PROGRAMMING LANGUAGES;
DIFFERENTIATION (CALCULUS);
LISP (PROGRAMMING LANGUAGE);
FUNCTIONAL LANGUAGES;
LAMBDA CALCULUS;
UNTYPED LANGUAGES;
BINDING TIME ANALYSIS;
ERROR MESSAGES;
EXTENDED ABSTRACTS;
FUNCTIONAL PROGRAMS;
TYPE INFERENCES;
TYPE INFORMATION;
COMPUTER PROGRAMMING;
FUNCTIONAL PROGRAMMING;
|
|
EID: 0025560740
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: 10.1145/91556.91672 Document Type: Conference Paper |
|
Times cited : (32)
|
|
References (15)
|
