A type system with usage aspects

DOI10.1017/S0956796807006399MaRDI QIDQ5451967zbMATH OpenOpenAlexFDO

Authors Martin Hofmann, Michal Konečný, D. 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)

Recommendations

• scientific article; zbMATH DE number 2087536
• scientific article; zbMATH DE number 2003157
• Typed Lambda Calculi and Applications
• scientific article; zbMATH DE number 1538025
• On regions and linear types (extended abstract)

Cites work

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

Cited in

(11)

• scientific article; zbMATH DE number 1538025 (Why is no real title available?)
• Region-based memory management for Mercury programs
• scientific article; zbMATH DE number 7301530 (Why is no real title available?)
• scientific article; zbMATH DE number 2003157 (Why is no real title available?)
• An Inference Algorithm for Guaranteeing Safe Destruction
• scientific article; zbMATH DE number 2087536 (Why is no real title available?)
• Typed Lambda Calculi and Applications
• Recent Advances in Constraints
• scientific article; zbMATH DE number 1629948 (Why is no real title available?)
• \(L^3\): a linear language with locations
• Verifying the correctness and amortized complexity of a union-find implementation in separation logic with time credits

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

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