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

@@ Property / DOI @@
-.1016/j.ipl.2005.04.003
@@ Property / DOI: 10.1016/j.ipl.2005.04.003 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2089469045
@@ Property / OpenAlex ID: W2089469045 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1016/J.IPL.2005.04.003
@@ Property / DOI: 10.1016/J.IPL.2005.04.003 / rank @@
+Normal rank