Sciweavers

33 search results - page 1 / 7
» icfp 2006
Sort
View
ICFP
2006
ACM
15 years 12 months ago
Generating generic functions
Johan Jeuring, Alexey Rodriguez, Gideon Smeding
68
Voted
ICFP
2006
ACM
15 years 12 months ago
Stabilizers: a modular checkpointing abstraction for concurrent functional programs
Lukasz Ziarek, Philip Schatz, Suresh Jagannathan
ICFP
2006
ACM
15 years 12 months ago
Access control in a core calculus of dependency
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...
Martín Abadi