TY - RPRT TI - Embedded SML using the MLton compiler AU - Jeffrey Murphy AU - Bhargav Shivkumar AU - Lukasz Ziarek PY - 2016 UR - https://arxiv.org/abs/1608.07206 ID - 1608.07206 ER -