Syntactic type soundness results for the region calculus

DOI10.1006/INCO.2001.3112zbMath1009.68019OpenAlexW2001218627MaRDI QIDQ1854515

Cristiano Calcagno, Peter Thiemann, Simon Helsen

Publication date: 14 January 2003

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/175b98ff84d77e6f29d7c61a97ded0f3d860bb4b

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Combinatory logic and lambda calculus (03B40)

Related Items (1)

Typing Safe Deallocation

Cites Work

• Region-based memory management
• Combinatory logic. With two sections by William Craig.
• A simplified account of polymorphic references
• A syntactic approach to type soundness
• A note on ``A simplified account of polymorphic references
• Stratified operational semantics for safety and correctness of the region calculus
• A constraint-based region inference algorithm

This page was built for publication: Syntactic type soundness results for the region calculus