Sciweavers

CORR
2006
Springer
123views Education» more  CORR 2006»
13 years 10 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