In this paper, we report some empirical studies of students evaluating
recursive functions defined according to the rules of the functional
programming language Miranda, and describe the misconceptions and proc
essing strategies observed. We then discuss the implications of these
observations as regards teaching content.