A Core Quantitative Coeffect Calculus
From MaRDI portal
Publication:5410709
DOI10.1007/978-3-642-54833-8_19zbMath1405.68074OpenAlexW111511002MaRDI QIDQ5410709
Steve Zdancewic, Damiano Mazza, Marco Gaboardi, Aloïs Brunel
Publication date: 16 April 2014
Published in: Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-54833-8_19
Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
When programs have to watch paint dry ⋮ A formal logic for formal category theory ⋮ Subexponential concurrent constraint programming ⋮ Additive types in quantitative type theory ⋮ A framework for substructural type systems ⋮ A dependent dependency calculus ⋮ 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 ⋮ A type- and scope-safe universe of syntaxes with binding: their semantics and proofs ⋮ Resourceful program synthesis from graded linear types