Universal properties of impure programming languages

DOI10.1145/2429069.2429091zbMath1301.68076OpenAlexW2153934643MaRDI QIDQ2931794

Paul Blain Levy, Sam Staton

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.2429091

zbMATH Keywords

multicategoriespremonoidal categoriesmulticomonads

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Categorical semantics of formal languages (18C50) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

A skew approach to enrichment for Gray-categories ⋮ Promonads and String Diagrams for Effectful Categories ⋮ Commutative Semantics for Probabilistic Programming

This page was built for publication: Universal properties of impure programming languages