A Useful Bounded Resource Functional Language

DOI10.1007/978-3-540-77566-9_17MaRDI QIDQ5448647zbMATH OpenOpenAlexFDO

Authors Michael J. Burrell, James Andrews, Mark Daley

Publication date 7 March 2008

Published in SOFSEM 2008: Theory and Practice of Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-77566-9_17

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Recommendations

• scientific article; zbMATH DE number 2080759
• Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach
• Real-time MLton: a standard ML runtime for real-time functional programs
• Real-time FRP
• Bounded Linear Types in a Resource Semiring

Cited in

(4)

• scientific article; zbMATH DE number 1692450 (Why is no real title available?)
• A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation
• Real-time MLton: a standard ML runtime for real-time functional programs
• Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach

This page was built for publication: A Useful Bounded Resource Functional Language

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