46 search results - page 1 / 10 » Reasoning About Programs in Continuation-Passing Style |
86
Voted
LFP
1992
14 years 10 months ago
1992
The CPS transformation dates back to the early 1970's, where it arose as a technique to represent the control flow of programs in -calculus based programming languages as -te...
71
Voted
POPL
2003
ACM
15 years 2 months ago
2003
ACM
First-class continuations are a powerful computational effect, allowing the programmer to express any form of jumping. Types and effect systems can be used to reason about contin...
ESOP
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. This paper studies continuations by means of a polymorphic type system. The traditional call-by-name continuation passing style transform admits a typing in which some an...
95
Voted
FLOPS
2004
Springer
15 years 2 months ago
2004
Springer
We propose a semantic framework for modelling the linear usage of continuations in typed call-by-name programming languages. On the semantic side, we introduce a construction for c...
LICS
2003
IEEE
15 years 2 months ago
2003
IEEE
We show that the decomposition of Intuitionistic Logic into Linear Logic along the equation ´ may be adapted into a decomposition of classical logic into LLP, the polarized versi...