Programming Languages and Systems

DOI10.1007/11693024MaRDI QIDQ5899005zbMATHOpenAlexFDO

Authors Matthew T. Fluet, Greg Morrisett, Amal Ahmed

Publication date 2 May 2007

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11693024

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Functional programming and lambda calculus (68N18)

Recommendations

• On regions and linear types (extended abstract)
• Syntactic type soundness for the region calculus
• Syntactic type soundness results for the region calculus
• Monadic regions
• Stratified operational semantics for safety and correctness of the region calculus

Cited in

(7)

• A resource semantics and abstract machine for \textit{Safe}: a functional language with regions and explicit deallocation
• Session types without sophistry. System description
• \textsc{Lincx}: a linear logical framework with first-class contexts
• Kleene monads: handling iteration in a framework of generic effects
• scientific article; zbMATH DE number 1693042 (Why is no real title available?)
• On regions and linear types (extended abstract)
• Typing Safe Deallocation

This page was built for publication: Programming Languages and Systems

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