Sciweavers

CORR
2006
Springer
123views Education» more  CORR 2006»
13 years 4 months ago
Continuations, proofs and tests
Continuation Passing Style (CPS) is one of the most important issues in the field of functional programming languages, and the quest for a primitive notion of types for continuati...
Stefano Guerrini, Andrea Masini