2 papers
cs.PL2016
Embedded SML using the MLton compiler
Jeffrey Murphy, Bhargav Shivkumar, Lukasz Ziarek
In this extended abstract we present our current work on leveraging Standard ML for developing embedded and real-time systems. Specifically we detail our experiences in modifying M…
cs.PL2016
Adding Real-time Capabilities to a SML Compiler
Muyuan Li, Daniel E McArdle, Jeffrey C Murphy +2
There has been much recent interest in adopting functional and reactive programming for use in real-time system design. Moving toward a more declarative methodology for developing…