|
|
|
Volumn , Issue , 1992, Pages 182-192
|
|
Calculus for overloaded functions with subtyping
a
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
COMPUTATIONAL LINGUISTICS;
COMPUTATIONAL METHODS;
FORMAL LOGIC;
FUNCTION EVALUATION;
OBJECT ORIENTED PROGRAMMING;
THEOREM PROVING;
COMPILE TIME TYPE;
CONFLUENCE AND STRONG NORMALIZATION;
OVERLOADED FUNCTIONS;
RUN TIME TYPE;
SUBJECT REDUCTION THEOREM;
SUBTYPING RELATION;
TYPE DEPENDENT CALCULUS;
COMPUTATION THEORY;
|
|
EID: 0026998601
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
|
Times cited : (50)
|
|
References (23)
|
