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

@@ Property / Mathematics Subject Classification ID @@
+N15
@@ Property / Mathematics Subject Classification ID: 68N15 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6049401
@@ Property / zbMATH DE Number: 6049401 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+delimited continuation
@@ Property / zbMATH Keywords: delimited continuation / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+exception
@@ Property / zbMATH Keywords: exception / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+semantics
@@ Property / zbMATH Keywords: semantics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+implementation
@@ Property / zbMATH Keywords: implementation / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+abstract machine
@@ Property / zbMATH Keywords: abstract machine / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+OCaml
@@ Property / describes a project that uses: OCaml / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2012.02.025
+Normal rank
@@ Property / OpenAlex ID @@
+W2137235328
@@ Property / OpenAlex ID: W2137235328 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:428889