|
|
Volumn , Issue , 1996, Pages 122-133
|
|
Simplifying subtyping constraints
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
ALGORITHMS;
COMPUTER PROGRAMMING LANGUAGES;
CONSTRAINT THEORY;
FUNCTIONS;
CONSTRAINT SETS;
SUBTYPING CONSTRAINTS;
COMPUTER PROGRAMMING;
|
|
EID: 0029718518
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: 10.1145/232627.232642 Document Type: Conference Paper |
|
Times cited : (32)
|
|
References (11)
|
