Algebraic foundations for effect-dependent optimisations

DOI10.1145/2103656.2103698MaRDI QIDQ2942885zbMATH OpenOpenAlexFDO

Authors Ohad Kammar, Gordon D. Plotkin

Publication date 11 September 2015

Published in Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2103656.2103698

zbMATH Keywords

computational effectsdenotational semanticsdomain theoryuniversal algebratype and effect systemsinequational logiccall-by-push-valuealgebraic theory of effectscode transformationscompiler optimisationsrelevant and affine monadssum and tensor

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Local algebraic effect theories
• An effect system for algebraic effects and handlers
• An effect system for algebraic effects and handlers
• Fusion for free. Efficient algebraic effect handlers
• scientific article; zbMATH DE number 1497780

Cited in

(13)

• An algebraic theory for shared-state concurrency
• Structured handling of scoped effects
• scientific article; zbMATH DE number 7559448 (Why is no real title available?)
• The beta-Bernoulli process and algebraic effects
• Probability monads with submonads of deterministic states
• An introduction to algebraic effects and handlers (invited tutorial paper)
• Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics
• No value restriction is needed for algebraic effects and handlers
• Local algebraic effect theories
• Sound and complete type inference for closed effect rows
• Normalization by evaluation and algebraic effects
• Higher-order asynchronous effects
• Counting successes: effects and transformations for non-deterministic programs

This page was built for publication: Algebraic foundations for effect-dependent optimisations

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