Programming Languages and Systems

DOI10.1007/11693024zbMATH Open1178.68151OpenAlexW2491912653MaRDI QIDQ5899005FDOQ5899005

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

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

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)

Cited In (7)

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

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)