We present a procedure for the bounded unification of higher-order terms [24]. The procedure extends G. P. Huet’s pre-unification procedure [11] with rules for the generation and folding of regular terms. The concise form of the procedure allows the reuse of the pre-unification correctness proof. Furthermore, the regular terms can be restricted in order to get a decidable unifiability problem. ...

The communication by Gilles Kahn, Jean Vuillemin and myself at the second International Colloquium on Automata, Languages and Programming, held in Saarbrücken in 1974 is in French in the proceedings, and has not been published as a journal article. However, Todd Veldhuizen wrote in 2002 an English translation that is reproduced in the next chapter. À propos Chapter 8 It was quite a surprise for...

Games-based learning has captured the interest of educationalists and industrialists who seek to exploit the characteristics of computer games as they are perceived by some to be a potentially effective approach for teaching and learning. Despite this interest in using games-based learning there is a dearth of empirical evidence supporting the validity of the approach covering the wider context...

In the period 1986-1991, experiments have been carried out with an introductory course in computer programming, based on functional programming. Due to thorough educational design and evaluation, a successful course has been developed. This has led to a revision of the computer programming education in the rst year of the computer science curriculum at the University of Twente. This article des...

In the period experiments have been carried out with an introductory course in computer programming based on functional programming Due to thorough educational design and evaluation a successful course has been developed This has led to a revision of the computer programming education in the rst year of the computer science curriculum at the University of Twente This article describes the appro...

A number of terms are used to denote the application of information and communication technologies (ICT) in education and training: learning technologies, interactive multimedia instruction, computer-based training, networked learning, elearning, etc. Some of them are more specific than others, and the choice of Advanced Distributed Learning (ADL) as a title and main topic of this issue of Info...