Coeffects: a calculus of context-dependent computation
From MaRDI portal
Recommendations
- Coeffects: unified static analysis of context-dependence
- A coinductive calculus for asynchronous side-effecting processes
- A coinductive calculus for asynchronous side-effecting processes
- The enriched effect calculus: syntax and semantics
- Deciding contextual equivalence of \(\nu \)-calculus with effectful contexts
- scientific article; zbMATH DE number 1332639
- Algebra and Coalgebra in Computer Science
- A coalgebraic approach to the semantics of the ambient calculus
- A Java-like calculus with heterogeneous coeffects
Cited in
(24)- Flexible recovery of uniqueness and immutability
- Graded Hoare logic and its categorical semantics
- Graded modal dependent type theory
- The enriched effect calculus: syntax and semantics
- Combining effects and coeffects via grading
- Comprehending Ringads
- I got plenty o' nuttin'
- Formalizing Soundness of Contextual Effects
- A type- and scope-safe universe of syntaxes with binding: their semantics and proofs
- Fault-tolerant functional reactive programming (extended version)
- Coeffects: unified static analysis of context-dependence
- A core quantitative coeffect calculus
- When programs have to watch paint dry
- Algebraic effects for extensible dynamic semantics
- A framework for substructural type systems
- A dependent dependency calculus
- A Java-like calculus with heterogeneous coeffects
- Non-linear communication via graded modal session types
- Logical foundations of quantitative equality
- Deriving distributive laws for graded linear types
- A linear algebra approach to linear metatheory
- Quantitative equality in substructural logic via Lipschitz doctrines
- A mixed linear and graded logic: proofs, terms, and models
- Policies for fair exchanges of resources
This page was built for publication: Coeffects: a calculus of context-dependent computation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2819671)
