Effect handlers via generalised continuations (Q5110928): Difference between revisions

@@ Property / describes a project that uses @@
+Pyro
@@ Property / describes a project that uses: Pyro / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Shonky
@@ Property / describes a project that uses: Shonky / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Koka
@@ Property / describes a project that uses: Koka / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Eff
@@ Property / describes a project that uses: Eff / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GitHub
@@ Property / describes a project that uses: GitHub / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Links
@@ Property / describes a project that uses: Links / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Programming with algebraic effects and handlers
@@ Property / cites work: Programming with algebraic effects and handlers / rank @@
+Normal rank
@@ Property / cites work @@
+Linear continuation-passing
@@ Property / cites work: Linear continuation-passing / rank @@
+Normal rank
@@ Property / cites work @@
+Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala
+Normal rank
@@ Property / cites work @@
+Doo bee doo bee doo
@@ Property / cites work: Doo bee doo bee doo / rank @@
+Normal rank
@@ Property / cites work @@
+Representing Control: a Study of the CPS Transformation
+Normal rank
@@ Property / cites work @@
+A first-order one-pass CPS transformation
@@ Property / cites work: A first-order one-pass CPS transformation / rank @@
+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 @@
+Shallow effect handlers
@@ Property / cites work: Shallow effect handlers / rank @@
+Normal rank
@@ Property / cites work @@
+Continuation passing style for effect handlers
@@ Property / cites work: Continuation passing style for effect handlers / rank @@
+Normal rank
@@ Property / cites work @@
+The Zipper
@@ Property / cites work: The Zipper / rank @@
+Normal rank
@@ Property / cites work @@
+Handlers in action
@@ Property / cites work: Handlers in action / rank @@
+Normal rank
@@ Property / cites work @@
+Compiling with continuations, continued
@@ Property / cites work: Compiling with continuations, continued / rank @@
+Normal rank
@@ Property / cites work @@
+Delimited control in OCaml, abstractly and concretely
+Normal rank
@@ Property / cites work @@
+Q4995164
@@ Property / cites work: Q4995164 / rank @@
+Normal rank
@@ Property / cites work @@
+Type directed compilation of row-typed algebraic effects
+Normal rank
@@ Property / cites work @@
+Modelling environments in call-by-value programming languages.
+Normal rank
@@ Property / cites work @@
+Do be do be do
@@ Property / cites work: Do be do be do / rank @@
+Normal rank
@@ Property / cites work @@
+Equational theories and monads from polynomial Cayley representations
+Normal rank
@@ Property / cites work @@
+Call-by-name, call-by-value and the \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Q2771052
@@ Property / cites work: Q2771052 / rank @@
+Normal rank
@@ Property / cites work @@
+Handling Algebraic Effects
@@ Property / cites work: Handling Algebraic Effects / rank @@
+Normal rank
@@ Property / cites work @@
+An introduction to algebraic effects and handlers (invited tutorial paper)
+Normal rank
@@ Property / cites work @@
+A static simulation of dynamic delimited control
@@ Property / cites work: A static simulation of dynamic delimited control / rank @@
+Normal rank
@@ Property / cites work @@
+Fusion for Free
@@ Property / cites work: Fusion for Free / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s0956796820000040
+Normal rank
@@ Property / OpenAlex ID @@
+W3012366501
@@ Property / OpenAlex ID: W3012366501 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5110928