The sequential semantics of producer effect systems
From MaRDI portal
Publication:2931778
DOI10.1145/2429069.2429074zbMath1301.68077OpenAlexW2166049140MaRDI QIDQ2931778
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
Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Categorical semantics of formal languages (18C50) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (4)
1ML with Special Effects ⋮ A variety theorem for relational universal algebra ⋮ Unnamed Item ⋮ Graded Hoare logic and its categorical semantics
This page was built for publication: The sequential semantics of producer effect systems