|
|
Volumn , Issue , 1997, Pages 292-301
|
|
Typing algorithm in type theory with inheritance
a
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
COMPUTATIONAL LINGUISTICS;
COMPUTER HARDWARE;
COMPUTER PROGRAMMING LANGUAGES;
COMPUTER SOFTWARE;
DECISION THEORY;
MATHEMATICAL TECHNIQUES;
PROGRAMMING THEORY;
CURRY-HOWARD ISOMORPHISM;
INHERITANCE;
TYPE THEORY;
TYPING ALGORITHM;
ALGORITHMS;
|
|
EID: 0030645142
PISSN: 07308566
EISSN: None
Source Type: Conference Proceeding
DOI: 10.1145/263699.263742 Document Type: Conference Paper |
|
Times cited : (51)
|
|
References (20)
|
