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

DOI10.1017/S0956796821000174OpenAlexW3197831489MaRDI QIDQ5019014FDOQ5019014

Jeffrey Murphy, Lukasz Ziarek, Bhargav Shivkumar

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

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cites Work

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

Cited In (1)

• Title not available (Why is that?)

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)