L^3: a linear language with locations

zbMATH Open1121.68021MaRDI QIDQ3593499FDOQ3593499

Authors: Amal Ahmed, Matthew T. Fluet, Greg Morrisett 

Publication date: 20 July 2007

Recommendations

• Typed Lambda Calculi and Applications
• scientific article; zbMATH DE number 2087536
• On regions and linear types (extended abstract)
• Strong update, disposal, and encapsulation in bunched typing
• A type system with usage aspects

zbMATH Keywords

spatial logicslinear lambda calculus

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52) Functional programming and lambda calculus (68N18)

Cited In (11)

• A step-indexed model of substructural state
• Title not available (Why is that?)
• Safe session-based concurrency with shared linear state
• Typed Lambda Calculi and Applications
• A bisimulation-like proof method for contextual properties in untyped \(\lambda \)-calculus with references and deallocation
• ConSORT: context- and flow-sensitive ownership refinement types for imperative programs
• Title not available (Why is that?)
• POPLMark reloaded: mechanizing proofs by logical relations
• Strong update, disposal, and encapsulation in bunched typing
• Title not available (Why is that?)
• Context-free session type inference

Uses Software

• Thaw

This page was built for publication: \(L^3\): a linear language with locations

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