132
Voted
ICFP
2006
ACM
16 years 1 months ago
2006
ACM
The Dependency Core Calculus (DCC) is an extension of the computational lambda calculus that was designed in order to capture the notion of dependency that arises in information-f...