Universal properties of impure programming languages

DOI10.1145/2429069.2429091MaRDI QIDQ2931794zbMATH OpenOpenAlexFDO

Authors Sam Staton, Paul Blain Levy

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

multicategoriesmulticomonadspremonoidal categories

Mathematics Subject Classification ID

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

Recommendations

• What is a purely functional language?
• scientific article; zbMATH DE number 139984
• scientific article; zbMATH DE number 194122
• An imperative language based on distributive categories
• A categorical interpretation of Landin's correspondence principle

Cited in

(13)

• Commutative semantics for probabilistic programming
• scientific article; zbMATH DE number 1810493 (Why is no real title available?)
• What is a purely functional language?
• What is a universal higher-order programming language?
• A skew approach to enrichment for Gray-categories
• Promonads and String Diagrams for Effectful Categories
• A finite approach to representable multicategories and related structures
• Universal properties of partial quantum maps
• Optics for premonoidal categories
• Collages of string diagrams
• String diagrams for premonoidal categories
• The univalence principle
• Premonoidal and Kleisli double categories

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

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