A static simulation of dynamic delimited control (Q2464731): Difference between revisions

@@ Property / cites work @@
+Q4457445
@@ Property / cites work: Q4457445 / rank @@
+Normal rank
@@ Property / cites work @@
+A functional correspondence between call-by-need evaluators and lazy abstract machines
+Normal rank
@@ Property / cites work @@
+A functional correspondence between monadic evaluators and abstract machines for languages with computational effects
+Normal rank
@@ Property / cites work @@
+A type-theoretic foundation of continuations and prompts
+Normal rank
@@ Property / cites work @@
+Q4440321
@@ Property / cites work: Q4440321 / rank @@
+Normal rank
@@ Property / cites work @@
+Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums
+Normal rank
@@ Property / cites work @@
+A syntactic correspondence between context-sensitive calculi and abstract machines
+Normal rank
@@ Property / cites work @@
+An Operational Foundation for Delimited Continuations in the CPS Hierarchy
+Normal rank
@@ Property / cites work @@
+Logic Based Program Synthesis and Transformation
@@ Property / cites work: Logic Based Program Synthesis and Transformation / rank @@
+Normal rank
@@ Property / cites work @@
+THEORETICAL PEARL: A simple proof of a folklore theorem about delimited control
+Normal rank
@@ Property / cites work @@
+On the dynamic extent of delimited continuations
@@ Property / cites work: On the dynamic extent of delimited continuations / rank @@
+Normal rank
@@ Property / cites work @@
+On the static and dynamic extents of delimited continuations
+Normal rank
@@ Property / cites work @@
+Back to direct style
@@ Property / cites work: Back to direct style / rank @@
+Normal rank
@@ Property / cites work @@
+A Rational Deconstruction of Landin’s SECD Machine
+Normal rank
@@ Property / cites work @@
+Representing Control: a Study of the CPS Transformation
+Normal rank
@@ Property / cites work @@
+Q4813224
@@ Property / cites work: Q4813224 / rank @@
+Normal rank
@@ Property / cites work @@
+A monadic framework for delimited continuations
@@ Property / cites work: A monadic framework for delimited continuations / rank @@
+Normal rank
@@ Property / cites work @@
+On the expressive power of programming languages
@@ Property / cites work: On the expressive power of programming languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778820
@@ Property / cites work: Q2778820 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2736592
@@ Property / cites work: Q2736592 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive subtyping revealed
@@ Property / cites work: Recursive subtyping revealed / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417897
@@ Property / cites work: Q4417897 / rank @@
+Normal rank
@@ Property / cites work @@
+The second Futamura projection for type-directed partial evaluation
+Normal rank
@@ Property / cites work @@
+Weaving a web
@@ Property / cites work: Weaving a web / rank @@
+Normal rank
@@ Property / cites work @@
+The Zipper
@@ Property / cites work: The Zipper / rank @@
+Normal rank
@@ Property / cites work @@
+Revised report on the algorithmic language scheme
@@ Property / cites work: Revised report on the algorithmic language scheme / rank @@
+Normal rank
@@ Property / cites work @@
+Backtracking, interleaving, and terminating monad transformers
+Normal rank
@@ Property / cites work @@
+Delimited dynamic binding
@@ Property / cites work: Delimited dynamic binding / rank @@
+Normal rank
@@ Property / cites work @@
+The Mechanical Evaluation of Expressions
@@ Property / cites work: The Mechanical Evaluation of Expressions / rank @@
+Normal rank
@@ Property / cites work @@
+Q3680263
@@ Property / cites work: Q3680263 / rank @@
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Call-by-name, call-by-value and the \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Acute
@@ Property / cites work: Acute / rank @@
+Normal rank
@@ Property / cites work @@
+Continuations: A mathematical semantics for handling full jumps
+Normal rank
@@ Property / cites work @@
+Combinators for program generation
@@ Property / cites work: Combinators for program generation / rank @@
+Normal rank
@@ Property / cites work @@
+Continuation-Based Program Transformation Strategies
+Normal rank