Advanced Functional Programming: First International Spring School on Advanced Functional Programming Techniques, Bastad, Sweden, May 24-30, 1995 (Lecture Notes in Computer Science)