Combinators and functional programming languages : Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985, proceedings / - Cousineau, Guy.; Curien, P.-L.; Robinet, B. (Springer-Verlag,, 1986)