Deriving distributive laws for graded linear types

DOI10.4204/EPTCS.353.6MaRDI QIDQ6657787zbMATH OpenFDO

Authors Jack Hughes, Michael Vollmer, Dominic Orchard

Publication date 6 January 2025

Mathematics Subject Classification ID

Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Cites work

• scientific article; zbMATH DE number 515728 (Why is no real title available?)
• A core quantitative coeffect calculus
• A double category theoretic analysis of graded linear exponential comonads
• A new approach to generic functional programming
• Bounded Linear Types in a Resource Semiring
• Bounded linear logic: A modular approach to polynomial-time computability
• Coeffects: a calculus of context-dependent computation
• Coeffects: unified static analysis of context-dependence
• Combining a monad and a comonad
• Combining effects and coeffects via grading
• Linear dependent types for differential privacy
• Linear logic
• Parametric effect monads and semantics of effect systems
• Resourceful program synthesis from graded linear types
• The Essence of Dataflow Programming
• The formal theory of monads
• Visible type application

This page was built for publication: Deriving distributive laws for graded linear types

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