Axioms for control operators in the CPS hierarchy (Q2464730): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10990-007-9009-x
+Normal rank
@@ Property / OpenAlex ID @@
+W2119464086
@@ Property / OpenAlex ID: W2119464086 / rank @@
+Normal rank
@@ Property / cites work @@
+A type-theoretic foundation of continuations and prompts
+Normal rank
@@ Property / cites work @@
+Linear continuation-passing
@@ Property / cites work: Linear continuation-passing / rank @@
+Normal rank
@@ Property / cites work @@
+An Operational Foundation for Delimited Continuations in the CPS Hierarchy
+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 @@
+Representing Control: a Study of the CPS Transformation
+Normal rank
@@ Property / cites work @@
+Q4179016
@@ Property / cites work: Q4179016 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536444
@@ Property / cites work: Q4536444 / rank @@
+Normal rank
@@ Property / cites work @@
+A sound and complete axiomatization of delimited continuations
+Normal rank
@@ Property / cites work @@
+Q3202991
@@ Property / cites work: Q3202991 / rank @@
+Normal rank
@@ Property / cites work @@
+Call-by-name, call-by-value and the \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Q2764031
@@ Property / cites work: Q2764031 / rank @@
+Normal rank
@@ Property / cites work @@
+From control effects to typed continuation passing
+Normal rank