Coeffects: unified static analysis of context-dependence

DOI10.1007/978-3-642-39212-2_35MaRDI QIDQ5327449zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Tomas Petricek, Dominic Orchard, Alan Mycroft

Publication date 7 August 2013

Published in Automata, Languages, and Programming (Search for Journal in Brave)

Full work available at URL https://kar.kent.ac.uk/57543/1/coeffects-icalp13.pdf

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Abstract data types; algebraic specification (68Q65)

Recommendations

• Coeffects: a calculus of context-dependent computation
• Combining effects and coeffects via grading
• A core quantitative coeffect calculus
• Comonadic notions of computation
• Formalizing Soundness of Contextual Effects

Cited in

(16)

• Generalized bounded linear logic and its categorical semantics
• Graded Hoare logic and its categorical semantics
• Graded modal dependent type theory
• Towards a formal theory of graded monads
• Coeffects: a calculus of context-dependent computation
• Summary-based context-sensitive data-dependence analysis in presence of callbacks
• Combining effects and coeffects via grading
• Contextual effects for version-consistent dynamic software updating and safe concurrent programming
• Formalizing Soundness of Contextual Effects
• Unifying graded and parameterised monads
• A core quantitative coeffect calculus
• When programs have to watch paint dry
• A Java-like calculus with heterogeneous coeffects
• Deriving distributive laws for graded linear types
• The quantum monadology
• A mixed linear and graded logic: proofs, terms, and models

This page was built for publication: Coeffects: unified static analysis of context-dependence

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