Real-time MLton: a standard ML runtime for real-time functional programs
From MaRDI portal
Publication:5019014
Recommendations
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)
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)