On typing delimited continuations: Three new solutions to the printf problem (Q968365): Difference between revisions

@@ Property / cites work @@
+Polymorphic Delimited Continuations
@@ Property / cites work: Polymorphic Delimited Continuations / rank @@
+Normal rank
@@ Property / cites work @@
+Back to direct style
@@ Property / cites work: Back to direct style / rank @@
+Normal rank
@@ Property / cites work @@
+Functional unparsing
@@ Property / cites work: Functional unparsing / rank @@
+Normal rank
@@ Property / cites work @@
+Representing Control: a Study of the CPS Transformation
+Normal rank
@@ Property / cites work @@
+Formatting: a class act
@@ Property / cites work: Formatting: a class act / rank @@
+Normal rank
@@ Property / cites work @@
+A sound and complete axiomatization of delimited continuations
+Normal rank
@@ Property / cites work @@
+Call-by-name, call-by-value and the \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Continuations: A mathematical semantics for handling full jumps
+Normal rank
@@ Property / cites work @@
+From control effects to typed continuation passing
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank