Stop Project

Swierstra

As part of the Dutch STOP project two Summerschools were organised.

The proceedings of the International Summer School on Constructive Algorithmics, 12-21 September 1989, Hollum-Ameland:

Part 1 (6.3 Mb)
Part 2 (4.8 Mb)
Part 3 (4.5 Mb)
Part 4 (4.6 Mb)

The proceedings of the EURICS Workshop Calculational Theories of Program Structure, 23-27 September 1989, Hollum-Ameland are availbale upon request mailto:doaitse@cs.uu.nl