Combinators and Functional Programming Languages

Keyphrases

Publications

volume 242, 1986

Combinators and Functional Programming Languages, Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985, Proceedings Combinators and Functional Programming Languages 242 (1986)

1985

Guy Cousineau, Pierre-Louis Curien, Michel Mauny, Ascánder Suárez
Combinateures, Catégoriques et Implémentation des Languages Fonctionnels. Combinators and Functional Programming Languages (1985)
J. Roger Hindley
Combinators and Lambda-Calculus. Combinators and Functional Programming Languages (1985)
Luca Cardelli
Amber. Combinators and Functional Programming Languages (1985)
Patrick Bellot, Bernard J. Robinet
Streams are not Dreams. Combinators and Functional Programming Languages (1985)
Luca Cardelli
The Amber Machine. Combinators and Functional Programming Languages (1985)
Joachim Lambek
Cartesian Closed Categories and Typed Lambda- calculi. Combinators and Functional Programming Languages (1985)
Gérard P. Huet
Cartesian closed Categories and Lambda- calculus. Combinators and Functional Programming Languages (1985)
Thierry Coquand
Sur l'Analogie entre les Propositions et les Types. Combinators and Functional Programming Languages (1985)
Simon L. Peyton Jones
An Introduction to Fully-Lazy Supercombinators. Combinators and Functional Programming Languages (1985)