You are about to access our book library "Combinators and functional programming languages: Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985, proceedings (Lecture notes in computer science) full version" .