Combinators and Functional Programming Languages: Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985. Proceedings (Lecture Notes ... Science, 242) (English and French Edition) | EKB DL

EKB DL

Home BookCombinators and Functional Programming Languages: Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985. Proceedings (Lecture Notes ... Science, 242) (English and French Edition)

Combinators and Functional Programming Languages: Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985. Proceedings (Lecture Notes ... Science, 242) (English and French Edition)

Description

Streams are not dreams.- Amber.- The amber machine.- Sur l'analogie entre les propositions et les types.- Combinateurs Catégoriques et Implémentation des Langages Fonctionnels.- Combinators and lambda-calculus, a short outline.- Cartesian closed categories and lambda-calculus.- Cartesian closed categories and typed ?-calculi.- An introduction to fully-lazy supercombinators.

Keywords

PROGRAMMING LANGUAGES (ELECTRONIC COMPUTERS)

1986Book

Author(s)Guy Cousineau

PublisherSpringer

ISBN9783540171843

LanguageEnglish

SpringerLink

Similar Books

Book

Categorical Combinators, Sequential Algorithms, and Functional Programming

Book

Functional Programming Languages and Computer Architecture Proceedings, Nancy, France, September 16-19, 1985

Book

λ-Calculus and Computer Science Theory: Proceedings of the Symposium Held in Rome March 25–27, 1975. IAC - CNR Istituto per le Applicazioni del ... Science, 37) (English and French Edition)

Book

Programs as Data Objects: Proceedings of a Workshop, Copenhagen, Denmark, October 17 - 19, 1985 (Lecture Notes in Computer Science, 217)

Book

Automata Networks LITP Spring School on Theoretical Computer Science, Argeles-Village, France, May 12-16, 1986. Proceedings

Book

Category Theory and Computer Programming Tutorial and Workshop, Guildford, U.K., September 16 - 20, 1985. Proceedings

Book

Functional Programming Languages and Computer Architecture Portland, Oregon, USA, September 14-16, 1987. Proceedings

Book

Funktionale und Applikative Programmierung Grundlagen, Sprachen, Implementierungstechniken

Book

TAPSOFT '87. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987 Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP)

Book

Foundations of Logic and Functional Programming Workshop, Trento, Italy, December 15-19, 1986. Proceedings