Introducing \(\llparenthesis\lambda\rrparenthesis\), a \(\lambda \)-calculus for effectful computation (Q831147): 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 @@
+Haskell
@@ Property / describes a project that uses: Haskell / 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.2021.02.038
+Normal rank
@@ Property / OpenAlex ID @@
+W3135073116
@@ Property / OpenAlex ID: W3135073116 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic predicate logic
@@ Property / cites work: Dynamic predicate logic / rank @@
+Normal rank
@@ Property / cites work @@
+Data types à la carte
@@ Property / cites work: Data types à la carte / rank @@
+Normal rank
@@ Property / cites work @@
+General semantics
@@ Property / cites work: General semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4490731
@@ Property / cites work: Q4490731 / 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 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 @@
+Q2851544
@@ Property / cites work: Q2851544 / rank @@
+Normal rank
@@ Property / cites work @@
+An introduction to algebraic effects and handlers (invited tutorial paper)
+Normal rank
@@ Property / cites work @@
+Shallow effect handlers
@@ Property / cites work: Shallow effect handlers / rank @@
+Normal rank
@@ Property / cites work @@
+Handlers in action
@@ Property / cites work: Handlers in action / rank @@
+Normal rank
@@ Property / cites work @@
+Programming and reasoning with algebraic effects and dependent types
+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 @@
+Doo bee doo bee doo
@@ Property / cites work: Doo bee doo bee doo / rank @@
+Normal rank
@@ Property / cites work @@
+The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads
+Normal rank
@@ Property / cites work @@
+Q5541361
@@ Property / cites work: Q5541361 / rank @@
+Normal rank
@@ Property / cites work @@
+Enriched Lawvere Theories for Operational Semantics
+Normal rank
@@ Property / cites work @@
+Not by equations alone: Reasoning with extensible effects
+Normal rank
@@ Property / cites work @@
+Local algebraic effect theories
@@ Property / cites work: Local algebraic effect theories / rank @@
+Normal rank
@@ Property / cites work @@
+A sound and complete logic for algebraic effects
@@ Property / cites work: A sound and complete logic for algebraic effects / rank @@
+Normal rank
@@ Property / cites work @@
+Effect handlers via generalised continuations
@@ Property / cites work: Effect handlers via generalised continuations / rank @@
+Normal rank
@@ Property / cites work @@
+One-shot algebraic effects as coroutines
@@ Property / cites work: One-shot algebraic effects as coroutines / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414308
@@ Property / cites work: Q4414308 / 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 @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+Applicative programming with effects
@@ Property / cites work: Applicative programming with effects / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums
+Normal rank
@@ Property / cites work @@
+Combinatory reduction systems: Introduction and survey
+Normal rank
@@ Property / cites work @@
+Inductive-data-type systems
@@ Property / cites work: Inductive-data-type systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q2723890
@@ Property / cites work: Q2723890 / rank @@
+Normal rank
@@ Property / cites work @@
+Intensional interpretations of functionals of finite type I
+Normal rank
@@ Property / cites work @@
+Q5667469
@@ Property / cites work: Q5667469 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5389133
@@ Property / cites work: Q5389133 / rank @@
+Normal rank