On the dynamic extent of delimited continuations (Q1044694): Difference between revisions

@@ Property / cites work @@
+An Operational Foundation for Delimited Continuations in the CPS Hierarchy
+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 @@
+Meta-programming with names and necessity
@@ Property / cites work: Meta-programming with names and necessity / rank @@
+Normal rank
@@ Property / cites work @@
+Breadth-first numbering
@@ Property / cites work: Breadth-first numbering / rank @@
+Normal rank
@@ Property / cites work @@
+Call-by-name, call-by-value and the \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Definitional interpreters for higher-order programming languages
+Normal rank
@@ Property / cites work @@
+Continuations: A mathematical semantics for handling full jumps
+Normal rank
@@ Property / cites work @@
+Scheme: A interpreter for extended lambda calculus
+Normal rank
@@ Property / cites work @@
+Continuation-Based Program Transformation Strategies
+Normal rank