Combinators and functional programming languages :Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985 proceedings
