Programming with algebraic effects and handlers (Q478396): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+N15
@@ Property / Mathematics Subject Classification ID: 68N15 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+N30
@@ Property / Mathematics Subject Classification ID: 68N30 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6376574
@@ Property / zbMATH DE Number: 6376574 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q115902568
@@ Property / Wikidata QID: Q115902568 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+OCaml
@@ Property / describes a project that uses: OCaml / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ML
@@ Property / describes a project that uses: ML / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3103594074
@@ Property / OpenAlex ID: W3103594074 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.1539
@@ Property / arXiv ID: 1203.1539 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4813222
@@ Property / cites work: Q4813222 / rank @@
+Normal rank
@@ Property / cites work @@
+Representing Control: a Study of the CPS Transformation
+Normal rank
@@ Property / cites work @@
+Selection functions, bar recursion and backward induction
+Normal rank
@@ Property / cites work @@
+Combining algebraic effects with continuations
@@ Property / cites work: Combining algebraic effects with continuations / rank @@
+Normal rank
@@ Property / cites work @@
+Combining effects: sum and tensor
@@ Property / cites work: Combining effects: sum and tensor / rank @@
+Normal rank
@@ Property / cites work @@
+Modelling environments in call-by-value programming languages.
+Normal rank
@@ Property / cites work @@
+A theory of type polymorphism in programming
@@ Property / cites work: A theory of type polymorphism in programming / rank @@
+Normal rank
@@ Property / cites work @@
+A new approach to abstract syntax with variable binding
+Normal rank
@@ Property / cites work @@
+Q4738236
@@ Property / cites work: Q4738236 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic operations and generic effects
@@ Property / cites work: Algebraic operations and generic effects / rank @@
+Normal rank
@@ Property / cites work @@
+Tensors of Comodels and Models for Operational Semantics
+Normal rank
@@ Property / cites work @@
+Handlers of Algebraic Effects
@@ Property / cites work: Handlers of Algebraic Effects / rank @@
+Normal rank
@@ Property / cites work @@
+Q2771052
@@ Property / cites work: Q2771052 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2847820
@@ Property / cites work: Q2847820 / rank @@
+Normal rank
@@ Property / cites work @@
+An introduction to algebraic effects and handlers (invited tutorial paper)
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:478396