The sequential semantics of producer effect systems

DOI10.1145/2429069.2429074MaRDI QIDQ2931778zbMATH OpenOpenAlexFDO

Authors Ross Tate

Publication date 27 November 2014

Published in Proceedings of the 40th 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/2429069.2429074

zbMATH Keywords

effectorseffectsmonadsproductorsthunks

Mathematics Subject Classification ID

Categorical semantics of formal languages (18C50) Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Parametric effect monads and semantics of effect systems
• The marriage of effects and monads
• Monads in action
• The marriage of effects and monads
• The marriage of effects and monads

Cited in

(5)

• Graded Hoare logic and its categorical semantics
• A variety theorem for relational universal algebra
• 1ML with special effects. F-ing generativity polymorphism
• Unifying graded and parameterised monads
• Data-flow analyses as effects and graded monads

This page was built for publication: The sequential semantics of producer effect systems

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