Combinators and Functional Programming Languages 1985: Val d'Ajol, France

Guy Cousineau, Pierre-Louis Curien, Bernard Robinet (Eds.): 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 242 Springer 1986, ISBN 3-540-17184-3

Patrick Bellot, Bernard Robinet:
Streams are not Dreams. 1-20
Luca Cardelli:
Amber. 21-47
Luca Cardelli:
The Amber Machine. 48-70
Thierry Coquand:
Sur l'Analogie entre les Propositions et les Types. 71-84
Guy Cousineau, Pierre-Louis Curien, Michel Mauny, Ascánder Suárez:
Combinateures, Catégoriques et Implémentation des Languages Fonctionnels. 85-103
J. Roger Hindley:
Combinators and Lambda-Calculus. 104-122
Gérard P. Huet:
Cartesian closed Categories and Lambda- calculus. 123-135
Joachim Lambek:
Cartesian Closed Categories and Typed Lambda- calculi. 136-175
Simon L. Peyton Jones:
An Introduction to Fully-Lazy Supercombinators. 175-206