Searching for "Back to Direct Style." – sorted by Relevance.
-
Back to Direct Style
- Back to Direct Style Olivier Danvy Department of Computer Science Aarhus University (danvy
- Cited by 40 (18 self) – Add To MetaCart
-
Back to Direct Style II: First-Class Continuations
- BRICS Basic Research in Computer Science Back to Direct Style II: First-Class Continuations Olivier
- Cited by 41 (10 self) – Add To MetaCart
-
On some Functional Aspects of Control
- is turned back to direct style with access to the current continuation. Permuting the construction
- Cited by 3 (2 self) – Add To MetaCart
-
unknown title
- converted back to direct style, maintaining the boxing of continuations induced by the CPS term
- Add To MetaCart
-
From Reduction-Based to Reduction-Free Normalization
- functions), refunctionalization (i.e., Church encoding), and direct-style transformation (i.e., the converse
- Cited by 4 (4 self) – Add To MetaCart
-
A lambda-revelation of the SECD machine
- , and defunctionalization has been proved correct [1, 18]. 5 Back to direct style The evaluator of Section 4
- Cited by 1 (1 self) – Add To MetaCart
-
An Operational Foundation for Delimited Continuations in the CPS Hierarchy
- this definition back to direct style, eliminating k2 but accessing it with shift. If the result were mapped back
- Cited by 9 (7 self) – Add To MetaCart
-
A Tour of Schism: A Partial Evaluation System For Higher-Order Applicative Languages
- display direct style excerpts of the specializer. However, in practice a specializer written
- Cited by 73 (12 self) – Add To MetaCart
-
Abstracting Control
- programming in direct style. The core of this work was developed at DIKU, the Computer Science department
- Cited by 62 (3 self) – Add To MetaCart
-
Categorical Structure of Continuation Passing Style
- calculus............... 129 7.5.1 Continuation Grabbing Style semantics for CPS-calculus . 129 7.5.2 Back
- Cited by 49 (3 self) – Add To MetaCart

