Bounded Linear Types in a Resource Semiring
From MaRDI portal
Publication:5410708
DOI10.1007/978-3-642-54833-8_18zbMath1405.68059OpenAlexW15833160MaRDI QIDQ5410708
Publication date: 16 April 2014
Published in: Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: http://pure-oai.bham.ac.uk/ws/files/23697858/esop14.pdf
Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Semantics in the theory of computing (68Q55)
Related Items (13)
Modular Inference of Linear Types for Multiplicity-Annotated Arrows ⋮ When programs have to watch paint dry ⋮ Deciding Equations in the Time Warp Algebra ⋮ A framework for substructural type systems ⋮ A dependent dependency calculus ⋮ A Java-like calculus with heterogeneous coeffects ⋮ Time warps, from algebra to algorithms ⋮ 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
Uses Software
This page was built for publication: Bounded Linear Types in a Resource Semiring
