Coeffects: Unified Static Analysis of Context-Dependence

DOI10.1007/978-3-642-39212-2_35zbMath1334.68049OpenAlexW1830196027WikidataQ59505558 ScholiaQ59505558MaRDI QIDQ5327449

Dominic A. Orchard, Alan Mycroft, Tomas Petricek

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) Abstract data types; algebraic specification (68Q65) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (7)

When programs have to watch paint dry ⋮ A Java-like calculus with heterogeneous coeffects ⋮ Unnamed Item ⋮ 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

This page was built for publication: Coeffects: Unified Static Analysis of Context-Dependence