# Reworking SML threading and GC for real time systems (paper)

**URL:** <https://discourse.julialang.org/t/reworking-sml-threading-and-gc-for-real-time-systems-paper/36061>\
**Category:** Internals & Design\
**Created:** [March 16, 2020, 9:08pm UTC](https://discourse.julialang.org/t/reworking-sml-threading-and-gc-for-real-time-systems-paper/36061 "2020-03-16T21:08:33Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![JeffreySarnoff](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/jeffreysarnoff/32/1980_2.png) [@JeffreySarnoff](https://discourse.julialang.org/u/JeffreySarnoff)\
**Post date:** [March 16, 2020, 9:08pm UTC](https://discourse.julialang.org/t/reworking-sml-threading-and-gc-for-real-time-systems-paper/36061/1 "2020-03-16T21:08:33Z")

</div>

`RTMLton: An SML Runtime for Real-Time Systems`  
in Practical Aspects of Declarative Languages (2020 proceedings).

> **[RTMLton: An SML Runtime for Real-Time Systems](https://link.springer.com/chapter/10.1007/978-3-030-39197-3_8)**
>
> There is a growing interest in leveraging functional programming languages in real-time and embedded contexts. Functional languages are appealing as many are strictly typed, amenable to formal methods, have limited mutation, and have simple, but...

from the Abstract and Conclusion:

… There has been relatively little progress on adapting more general purpose functional languages for programming embedded and real-time systems. … We focus primarily on the language runtime, re-working the threading subsystem and garbage collector. We provide preliminary results over a radar-based aircraft collision detector ported to SML. … We believe our biggest contribution in this paper is the integration of a real-time suitable garbage collector into a general purpose, functional language [appropriate for real-time systems].