Advanced functional programming 1. International Spring School on Advanced Functional Programming Techniques, Båstad, Sweden, May 24 - 30, 1995 ; tutorial text (Springer, 1995)