Automatic assessment of elementary Standard ML programs using Ceilidh. - Sandra P. Foubister; Greg Michaelson; N. Tomes (J. Comput. Assist. Learn., 1997)