|
|
|
Volumn , Issue , 2000, Pages 267-276
|
|
Static calculus of dependencies for the λ-cube
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
APPROXIMATION THEORY;
HIGH LEVEL LANGUAGES;
LOGIC PROGRAMMING;
PROGRAM DIAGNOSTICS;
SET THEORY;
THEOREM PROVING;
DEPENDENCY ANALYSIS;
EXTENDED PURE TYPE SYSTEM;
PROGRAM ANALYSIS;
STATIC CALCULUS;
COMPUTABILITY AND DECIDABILITY;
|
|
EID: 0033701259
PISSN: 10436871
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
|
Times cited : (8)
|
|
References (23)
|
