Interactive Functional Programs

Models, Methods, and Implementation

Peter Achten


Promotor: Manuscript comittee: Date of defense: Gzipped PostScript version.

Contents.


Abstract Chapter 2.

Abstract Chapter 3.

Abstract Chapter 4.

Abstract Chapter 5.

Abstract Chapter 6.


Here is the summary in English and here in Dutch.