Real-time MLton: a standard ML runtime for real-time functional programs

DOI10.1017/S0956796821000174MaRDI QIDQ5019014zbMATH OpenOpenAlexFDO

Authors Bhargav Shivkumar, Jeffrey Murphy, Lukasz Ziarek

Publication date 27 December 2021

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

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• scientific article; zbMATH DE number 2080759
• Publication:4723271
• A Useful Bounded Resource Functional Language
• Real-time FRP
• Special issue on run-time systems and target platforms for functional languages: editorial

Cites work

• scientific article; zbMATH DE number 1692450 (Why is no real title available?)
• scientific article; zbMATH DE number 4013996 (Why is no real title available?)
• scientific article; zbMATH DE number 2086944 (Why is no real title available?)
• A LISP garbage-collector for virtual-memory computer systems
• A nonrecursive list compacting algorithm
• A retrospective on region-based memory management
• CakeML
• Concurrent Programming in ML
• From ML to Ada: Strongly-typed language interoperability via source translation
• Implementation strategies for first-class continuations
• On-the-fly garbage collection
• Proofs of randomized algorithms in Coq
• Real-time FRP
• Region-based memory management
• The AED free storage package

Cited in

(2)

• A Useful Bounded Resource Functional Language
• scientific article; zbMATH DE number 2080759 (Why is no real title available?)

This page was built for publication: Real-time MLton: a standard ML runtime for real-time functional programs

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