Automatic assessment of elementary Standard ML programs using Ceilidh

Ceilidh is an interactive environment which supports computer programming course organisation, practical work and assessment. This paper describes its use to support a first level programming course for the functional language Standard ML. Automated program assessment systems are surveyed and the general Ceilidh approach to automatic assessment is discussed. Extensions to Ceilidh to assess Standard ML programs are considered and an evaluation is made of the effects of its use on student learning. The main conclusion is that Ceilidh use significantly reduces the burden of marking on the lecturer, while not affecting the overall level of achievement of the students.