The Future of Standard ML (2013)
cs.cmu.edu