We study the typing of ontrol operators in a language with an ML-style type system. We introdu e a new set of ontrol operators that subsume most ontrol operators that have been proposed for languages su h as S heme or ML. We prove subje t redu tion for the extended language. We also show how the new operators an easily en ode a variety of already known onstru ts: all , shift and reset, ex eptio...

This paper reports the findings of an investigation into the relationship between usability fun and learning in educational software designed for children. Twenty five children from an English primary school aged between 7 and 8 participated in the evaluation. A 3x3 Latin square experimental design methodology was adopted incorporating pre and post tests to measure the learning effect, observat...

An abstract is not available for this content. As you have access to content, full HTML content provided on page. A PDF of also in through the ‘Save PDF’ action button.

In the Soccer-Fun project, students program the brains of football players in a functional language. Soccer-Fun has been developed for an introductory course in functional programming at the Radboud University Nijmegen, The Netherlands. We have used Soccer-Fun in teaching during the past four years. We have also experience in using Soccer-Fun for pupils in secondary education. Soccer-Fun is sti...