Monadic regions

DOI10.1017/S095679680600596XMaRDI QIDQ5482281zbMATH OpenOpenAlexFDO

Authors Matthew T. Fluet, Greg Morrisett

Publication date 28 August 2006

Published in Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s095679680600596x

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Recommendations

• Monadic regions
• Syntactic type soundness results for the region calculus
• Syntactic type soundness for the region calculus
• On regions and linear types (extended abstract)
• Region-based memory management

Cited in

(11)

• Syntactic type soundness results for the region calculus
• Safe manual memory management in Cyclone
• scientific article; zbMATH DE number 1693042 (Why is no real title available?)
• Shifting the stage. Staging with delimited control
• Refined environment classifiers. Type- and scope-safe code generation with mutable cells
• Syntactic type soundness for the region calculus
• On regions and linear types (extended abstract)
• Monadic regions
• Programming Languages and Systems
• Region-based memory management
• Q\# as a quantum algorithmic language

This page was built for publication: Monadic regions

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