%A P. Bellot
%A B. Robinet
%T Streams are not dreams
%J Proceedings of the Thirteenth Spring School of the LITP:
Combinators and functional programming languages
%C Val d'Ajol, France
%D May 1985
%E Guy Cousineau
%E Pierre-Louis Curien
%E Bernard Robinet
%O published as Lecture Notes in Computer Science 242
by Springer-Verlag
%K cafpl
%P 1-20

%A L. Cardelli
%T Amber
%J Proceedings of the Thirteenth Spring School of the LITP:
Combinators and functional programming languages
%C Val d'Ajol, France
%D May 1985
%E Guy Cousineau
%E Pierre-Louis Curien
%E Bernard Robinet
%O published as Lecture Notes in Computer Science 242
by Springer-Verlag
%K cafpl
%P 21-47

%A L. Cardelli
%T The Amber machine
%J Proceedings of the Thirteenth Spring School of the LITP:
Combinators and functional programming languages
%C Val d'Ajol, France
%D May 1985
%E Guy Cousineau
%E Pierre-Louis Curien
%E Bernard Robinet
%O published as Lecture Notes in Computer Science 242
by Springer-Verlag
%K cafpl
%P 48-70

%A T. Coquand
%T Sur l'analogie entre les propositions et les types
%J Proceedings of the Thirteenth Spring School of the LITP:
Combinators and functional programming languages
%C Val d'Ajol, France
%D May 1985
%E Guy Cousineau
%E Pierre-Louis Curien
%E Bernard Robinet
%O published as Lecture Notes in Computer Science 242
by Springer-Verlag
%K cafpl
%P 71-84

%A G. Cousineau
%A P-L. Curien
%A M. Mauny
%A A. Suarez
%T Combinateurs categoriques et implementation des langages fonctionnels
%J Proceedings of the Thirteenth Spring School of the LITP:
Combinators and functional programming languages
%C Val d'Ajol, France
%D May 1985
%E Guy Cousineau
%E Pierre-Louis Curien
%E Bernard Robinet
%O published as Lecture Notes in Computer Science 242
by Springer-Verlag
%K cafpl
%P 85-103

%A R. Hindley
%T Combinators and lambda-calculus
%J Proceedings of the Thirteenth Spring School of the LITP:
Combinators and functional programming languages
%C Val d'Ajol, France
%D May 1985
%E Guy Cousineau
%E Pierre-Louis Curien
%E Bernard Robinet
%O published as Lecture Notes in Computer Science 242
by Springer-Verlag
%K cafpl
%P 104-122

%A G. Huet
%T Cartesian closed categories and lambda-calculus
%J Proceedings of the Thirteenth Spring School of the LITP:
Combinators and functional programming languages
%C Val d'Ajol, France
%D May 1985
%E Guy Cousineau
%E Pierre-Louis Curien
%E Bernard Robinet
%O published as Lecture Notes in Computer Science 242
by Springer-Verlag
%K cafpl
%P 123-135

%A J. Lambek
%T Cartesian closed coordinates and typed lambda-calculi
%J Proceedings of the Thirteenth Spring School of the LITP:
Combinators and functional programming languages
%C Val d'Ajol, France
%D May 1985
%E Guy Cousineau
%E Pierre-Louis Curien
%E Bernard Robinet
%O published as Lecture Notes in Computer Science 242
by Springer-Verlag
%K cafpl
%P 136-175

%A S.L. Peyton Jones
%T An introduction to fully-lazy supercombinators
%J Proceedings of the Thirteenth Spring School of the LITP:
Combinators and functional programming languages
%C Val d'Ajol, France
%D May 1985
%E Guy Cousineau
%E Pierre-Louis Curien
%E Bernard Robinet
%O published as Lecture Notes in Computer Science 242
by Springer-Verlag
%K cafpl
%P 176-208