Algebraic foundations for effect-dependent optimisations

DOI10.1145/2103656.2103698zbMath1321.68200OpenAlexW3160062581MaRDI QIDQ2942885

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

denotational semanticsuniversal algebradomain theorycode transformationscomputational effectstype and effect systemsinequational logiccall-by-push-valuealgebraic theory of effectscompiler optimisationsrelevant and affine monadssum and tensor

Mathematics Subject Classification ID

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

Related Items (11)

Normalization by evaluation and algebraic effects ⋮ Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics ⋮ Counting Successes: Effects and Transformations for Non-deterministic Programs ⋮ Sound and complete type inference for closed effect rows ⋮ Structured handling of scoped effects ⋮ Unnamed Item ⋮ An algebraic theory for shared-state concurrency ⋮ Local algebraic effect theories ⋮ No value restriction is needed for algebraic effects and handlers ⋮ An introduction to algebraic effects and handlers (invited tutorial paper) ⋮ Unnamed Item

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