4 search results - page 1 / 1 » Linear Continuation-Passing |
189
click to vote
FLOPS
2004
Springer
16 years 5 days 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...
166
click to vote
LISP
2002
15 years 6 months ago
2002
Abstract. Continuations can be used to explain a wide variety of control behaviours, including calling/returning (procedures), raising/handling (exceptions), labelled jumping (goto...
178
Voted
POPL
2003
ACM
16 years 1 days 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...
181
click to vote
LICS
2003
IEEE
16 years 1 days 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...