Mads Tofte Standard ML language. 7515 2009 4 Scholarpedia 2 http://www.scholarpedia.org/article/Standard_ML_language db/journals/scholarpedia/scholarpedia4.html#Tofte09