![]() |
Volumn 2305, Issue , 2002, Pages 6-20
|
Mixin modules in a call-by-value setting
|
Author keywords
[No Author keywords available]
|
Indexed keywords
DIFFERENTIATION (CALCULUS);
DIRECTED GRAPHS;
DEPENDENCY GRAPHS;
LAMBDA CALCULUS;
MODULE SYSTEMS;
RECURSIVE DEFINITIONS;
REFINED TYPE;
SEPARATE COMPILATION;
CALCULATIONS;
|
EID: 84957094411
PISSN: 03029743
EISSN: 16113349
Source Type: Book Series
DOI: 10.1007/3-540-45927-8_2 Document Type: Conference Paper |
Times cited : (36)
|
References (21)
|