Real-time MLton: A Standard ML runtime for real-time functional programs

DOI10.1017/S0956796821000174OpenAlexW3197831489MaRDI QIDQ5019014

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cites Work

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

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