A type system with usage aspects

DOI10.1017/S0956796807006399zbMATH Open1142.68019OpenAlexW2166853865MaRDI QIDQ5451967FDOQ5451967

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

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)

zbMATH Keywords

functional semantics

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cites Work

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

Cited In (11)

• Title not available (Why is that?)
• Region-based memory management for Mercury programs
• Title not available (Why is that?)
• Title not available (Why is that?)
• An Inference Algorithm for Guaranteeing Safe Destruction
• Title not available (Why is that?)
• Typed Lambda Calculi and Applications
• Recent Advances in Constraints
• Title not available (Why is that?)
• \(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)