ICFP/SPLASH 2025
Sun 12 - Sat 18 October 2025 Singapore
Thu 16 Oct 2025 11:35 - 12:05 at Peony NE - ML Workshop 1 Chair(s): Chris Casinghino

We present LunarML, a new Standard ML compiler that targets scripting languages such as Lua and JavaScript. LunarML implements all features of Standard ML ’97 and a subset of the ML Basis Library. It can compile itself and run existing programs such as HaMLet.

We outline the architecture of LunarML, discuss target-specific considerations, and describe advanced features such as delimited continuations.

Abstract (lunarml-abstract.pdf)373KiB
Slide (lunarml-presentation.pdf)3.25MiB

Thu 16 Oct

Displayed time zone: Perth change

10:30 - 12:15
ML Workshop 1ML Family Workshop at Peony NE
Chair(s): Chris Casinghino Jane Street
10:30
5m
Day opening
Welcome
ML Family Workshop
Sam Westrick New York University
10:35
30m
Talk
MsML: A Proposal for a successor MLRemote
ML Family Workshop
David MacQueen University of Chicago (Emeritus)
11:05
30m
Talk
Range-Analysis-Based Optimization for SML/NJ
ML Family Workshop
John Reppy University of Chicago, Byron Zhong University of Chicago
Pre-print
11:35
30m
Talk
LunarML: From Standard ML to Scripting Languages
ML Family Workshop
File Attached