I'd like to introduce everyone to Zhao Wei, who has joined the MLton mailing list. He is interested to learn more about the internals of MLton, and has previous experience with Scheme implementations and with O'Caml. Here is is home page. http://c2.com/cgi/wiki?ZhaoWay