|
Volumn , Issue , 1989, Pages 92-97
|
Type inference for record concatenation and multiple inheritance
|
Author keywords
[No Author keywords available]
|
Indexed keywords
COMPUTER METATHEORY--PROGRAMMING THEORY;
COMPUTER PROGRAMMING LANGUAGES--THEORY;
LAMBDA CALCULUS;
MULTIPLE INHERITANCE;
OBJECT ORIENTED PROGRAMMING;
RECORD CONCATENATION;
TYPE INFERENCE;
COMPUTER PROGRAMMING;
|
EID: 0024900567
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
Times cited : (66)
|
References (18)
|