Advanced functional programming : first International Spring School on Advanced Functional Programming Techniques, Båstad, Sweden, May 24-30, 1995 : tutorial text / - Jeuring, Johan,; Meijer, Erik, (Springer,, 1995)