An introduction to algebraic effects and handlers (invited tutorial paper) (Q5971390): Difference between revisions

@@ Property / describes a project that uses @@
+Eff
@@ Property / describes a project that uses: Eff / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Frank
@@ Property / describes a project that uses: Frank / 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.entcs.2015.12.003
+Normal rank
@@ Property / OpenAlex ID @@
+W2208976468
@@ Property / OpenAlex ID: W2208976468 / rank @@
+Normal rank
@@ Property / cites work @@
+An Effect System for Algebraic Effects and Handlers
+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 @@
+Programming and reasoning with algebraic effects and dependent types
+Normal rank
@@ Property / cites work @@
+Substitution, jumps, and algebraic effects
@@ Property / cites work: Substitution, jumps, and algebraic effects / 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 @@
+Handlers in action
@@ Property / cites work: Handlers in action / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic foundations for effect-dependent optimisations
+Normal rank
@@ Property / cites work @@
+Modelling environments in call-by-value programming languages.
+Normal rank
@@ Property / cites work @@
+Q2778806
@@ Property / cites work: Q2778806 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2771052
@@ Property / cites work: Q2771052 / rank @@
+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 @@
+Handling Algebraic Effects
@@ Property / cites work: Handling Algebraic Effects / rank @@
+Normal rank
@@ Property / cites work @@
+Inferring Algebraic Effects
@@ Property / cites work: Inferring Algebraic Effects / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic Effects, Linearity, and Quantum Programming Languages
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5971390