Author: International Spring School on Advanced Functional Programming Techniques (1st 1995 Båstad, Sweden)