RTMLton: An SML Runtime for Real-Time Systems.

Bhargav Shivkumar, Jeffrey C. Murphy, Lukasz Ziarek

Browse the full PADL paper archive.