scientific article; zbMATH DE number 7453166
From MaRDI portal
Publication:5020617
Harley Eades III, Dominic A. Orchard, Philip Wadler
Publication date: 6 January 2022
Full work available at URL: https://arxiv.org/abs/2001.10274
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Generalized bounded linear logic and its categorical semantics ⋮ Graded Hoare logic and its categorical semantics
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A horizontal categorification of Gel'fand duality
- Notions of computation and monads
- Call-by-push-value: Decomposing call-by-value and call-by-name
- Categorical logic and type theory
- Graded monads and rings of polynomials
- Effect Systems Revisited—Control-Flow Algebra and Semantics
- Towards a Formal Theory of Graded Monads
- Effects as sessions, sessions as effects
- Algebras for Parameterised Monads
- The sequential semantics of producer effect systems
- Combining effects and coeffects via grading
- Comprehending Ringads
- Hoare type theory, polymorphism and separation
- Parameterised notions of computation
- Introduction to bicategories
- The marriage of effects and monads
- Generic Trace Semantics and Graded Monads.
- Coeffects: Unified Static Analysis of Context-Dependence
- Parametric effect monads and semantics of effect systems
- Bounded Linear Types in a Resource Semiring
- A Core Quantitative Coeffect Calculus
This page was built for publication:
