During the years that I have worked on this thesis I've often wandered around the o ce, looking
for people who could tell me why my computer or the programs I was running on it weren't …

Programming exercise assessment tools alleviate the task of teachers, and increase consistency
of markings. Many programming exercise assessment tools are based on testing. A test-…

Logic is constructive in nature, and in a course on logic a student learns how to manipulate
logical formulas. For example, a student has to learn how to simplify a logical formula, how to …

Given any value of a datatype (an algebra of terms), and rules to rewrite values of that
datatype, we want a function that rewrites the value to normal form if the value is normalizable. …

8 Programming with higher-order folds 135 8.1 The rep min problem 136 8.1. 1 A straightforward
solution 136 8.1. 2 Lambda lifting 137 8.1. 3 Tupling computations 137 8.1. 4 Merging …

A generic program is written once, and works on values of a large class of data types (or
DTD’s, schemas, structures, class hierarchies). This paper shows how generic programming …

CEDEF GEHI CEP7QSR TUH VXW Yacb dfehgie3 p" Drqt sEuXvxw y ruEuEw pc PrR G y
FSP P FSP7R dGEHS egf ihkj lmTneoH qp r sut" vxw3y z){}| Av3 y" t 3 r A dnnrorrr A qqr 7 n¡£¢…

Incremental computations can improve the performance of interactive programs such as
spreadsheet programs, program development environments, text editors, etc. Incremental …

The Generic HA SKELL system comes with a library of useful generic functions. These are
summarised below; for the details, consult the library itself (in subdirectory lib). We give the …

▶ Both text input as well as structure edit operations, without mode switching. For example,
typing 2+ 3* 8 has the same effect as constructing this expression via selecting+,*, and the …