Delimited control in OCaml, abstractly and concretely (Q428889): Difference between revisions

@@ Property / cites work @@
+Delimited dynamic binding
@@ Property / cites work: Delimited dynamic binding / rank @@
+Normal rank
@@ Property / cites work @@
+Shifting the stage
@@ Property / cites work: Shifting the stage / rank @@
+Normal rank
@@ Property / cites work @@
+Delimited control in OCaml, abstractly and concretely
+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 @@
+Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums
+Normal rank
@@ Property / cites work @@
+Type dispatch for named hierarchical types
@@ Property / cites work: Type dispatch for named hierarchical types / rank @@
+Normal rank
@@ Property / cites work @@
+Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform
+Normal rank
@@ Property / cites work @@
+Implementation strategies for first-class continuations
+Normal rank
@@ Property / cites work @@
+Q2764031
@@ Property / cites work: Q2764031 / rank @@
+Normal rank
@@ Property / cites work @@
+Continuations from generalized stack inspection
@@ Property / cites work: Continuations from generalized stack inspection / rank @@
+Normal rank