Enriching an Effect Calculus with Linear Types

DOI10.1007/978-3-642-04027-6_19zbMath1257.03053OpenAlexW1626042158MaRDI QIDQ3644752

J. M. Egger, Rasmus Ejlers Møgelberg, Alex K. Simpson

Publication date: 12 November 2009

Published in: Computer Science Logic (Search for Journal in Brave)

Full work available at URL: https://www.pure.ed.ac.uk/ws/files/12289081/enriched_effect_calculus.pdf

Mathematics Subject Classification ID

Logic in computer science (03B70) Categorical semantics of formal languages (18C50) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (5)

Computation by interaction for space-bounded functional programming ⋮ A Nominal Relational Model for Local Store ⋮ Unnamed Item ⋮ Reverse AD at higher types: pure, principled and denotationally correct ⋮ On reduction and normalization in the computational core

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• Notions of computation and monads
• Linear continuation-passing
• Linearly-Used Continuations in the Enriched Effect Calculus
• A new constructive logic: classic logic
• From Algol to polymorphic linear lambda-calculus

This page was built for publication: Enriching an Effect Calculus with Linear Types