A type system with usage aspects

DOI10.1017/S0956796807006399zbMath1142.68019OpenAlexW2166853865MaRDI QIDQ5451967

Martin Hofmann, Michal Konečný, David Aspinall

Publication date: 27 March 2008

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

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

zbMATH Keywords

functional semantics

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (3)

Region-based memory management for Mercury programs ⋮ Verifying the correctness and amortized complexity of a union-find implementation in separation logic with time credits ⋮ An Inference Algorithm for Guaranteeing Safe Destruction

Cites Work

• Region-based memory management
• A uniform treatment of order of evaluation and aggregate update
• The type and effect discipline
• Heap-bounded assembly language
• Static prediction of heap space usage for first-order functional programs
• BI as an assertion language for mutable data structures

This page was built for publication: A type system with usage aspects