Real-time capabilities in functional languages. - Jeffrey C. Murphy; Bhargav Shivkumar; Lukasz Ziarek (DCPS, 2016)

Embedded SML using the MLton compiler. - Jeffrey C. Murphy; Bhargav Shivkumar; Lukasz Ziarek (CoRR, 2016)

Adding real-time capabilities to a SML compiler. - Muyuan Li; Daniel E. McArdle; Jeffrey C. Murphy; Bhargav Shivkumar; Lukasz Ziarek (SIGBED Rev., 2016)

A survey of real-time capabilities in functional languages and compilers. - Jeffrey C. Murphy; Bhargav Shivkumar; Amy Pritchard; Grant Iraci; Dhruv Kumar 003; Sun Hyoung Kim; Lukasz Ziarek (Concurr. Comput. Pract. Exp., 2019)

RTMLton: An SML Runtime for Real-Time Systems. - Bhargav Shivkumar; Jeffrey C. Murphy; Lukasz Ziarek (PADL, 2020)

Putting Gradual Types to Work. - Bhargav Shivkumar; Enrique Naudon; Lukasz Ziarek (PADL, 2021)

Real-time MLton: A Standard ML runtime for real-time functional programs. - Bhargav Shivkumar; Jeffrey C. Murphy; Lukasz Ziarek (J. Funct. Program., 2021)