Combinators and functional programming languages : Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985, proceedings - Curien, P.-L. (Pierre-Louis); Robinet, B. (Bernard), 1941-; Cousineau, Guy (Lecture notes in computer science ;, 1986)