Introducing , a -calculus for effectful computation

DOI10.1016/J.TCS.2021.02.038MaRDI QIDQ831147zbMATH OpenOpenAlexFDO

Authors Jirka Maršík, Maxime Amblard, Philippe de Groote

Publication date 10 May 2021

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2021.02.038

zbMATH Keywords

monadslambda-calculusCRShandlersIDTSside effects

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Functional programming and lambda calculus (68N18)

Recommendations

• Introducing a calculus of effects and handlers for natural language semantics
• Publication:3202991
• Notions of computation and monads
• The enriched effect calculus: syntax and semantics
• Categorical models for a semantically linear \(\lambda\)-calculus

Cites work

• scientific article; zbMATH DE number 1615229 (Why is no real title available?)
• scientific article; zbMATH DE number 1952947 (Why is no real title available?)
• scientific article; zbMATH DE number 1479618 (Why is no real title available?)
• scientific article; zbMATH DE number 6027889 (Why is no real title available?)
• scientific article; zbMATH DE number 3254929 (Why is no real title available?)
• scientific article; zbMATH DE number 3400430 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• A lattice-theoretical fixpoint theorem and its applications
• A sound and complete logic for algebraic effects
• An introduction to algebraic effects and handlers (invited tutorial paper)
• Applicative programming with effects
• Combinatory reduction systems: Introduction and survey
• Combining effects: sum and tensor
• Computational effects and operations: an overview
• Continuation passing style for effect handlers
• Data types à la carte
• Doo bee doo bee doo
• Dynamic predicate logic
• Effect handlers via generalised continuations
• Enriched Lawvere theories for operational semantics
• Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums
• General semantics
• Handlers in action
• Handlers of Algebraic Effects
• Handling algebraic effects
• Inductive-data-type systems
• Intensional interpretations of functionals of finite type I
• Local algebraic effect theories
• Not by equations alone. Reasoning with extensible effects
• Notions of computation and monads
• One-shot algebraic effects as coroutines
• Programming and reasoning with algebraic effects and dependent types
• Programming with algebraic effects and handlers
• Shallow effect handlers
• The category theoretic understanding of universal algebra: Lawvere theories and monads

Cited in

(5)

• Safe operators: Brackets closed forever. Optimizing optimal -calculus implementations
• Algebraic effects for extensible dynamic semantics
• Introducing a calculus of effects and handlers for natural language semantics
• Programming in the λ-Calculus: From Church to Scott and Back
• Equational programming in -calculus via SL-systems. Part 1

Describes a project that uses

Uses Software

• Eff
• Haskell

This page was built for publication: Introducing \(\llparenthesis\lambda\rrparenthesis\), a \(\lambda \)-calculus for effectful computation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q831147)