Blick ins Buch

Combinators and Functional Programming Languages

Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985. Proceedings

Guy Cousineau, Pierre-Louis Curien, Bernard Robinet (Herausgeber)

Buch | Softcover

VIII, 212 Seiten

1986 | 1986
Springer Berlin (Verlag)
978-3-540-17184-3 (ISBN)

Lese- und Medienproben

Inhaltsverzeichnis (PDF)

Artikel merken

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.

Erscheint lt. Verlag	1.11.1986
Reihe/Serie	Lecture Notes in Computer Science
Zusatzinfo	VIII, 212 p.
Verlagsort	Berlin
Sprache	englisch
Maße	155 x 235 mm
Gewicht	318 g
Themenwelt	Informatik ► Software Entwicklung ► User Interfaces (HCI)
Themenwelt	Mathematik / Informatik ► Informatik ► Theorie / Studium
Schlagworte	Calculus • Functional Programming • programming • Programming language
ISBN-10	3-540-17184-3 / 3540171843
ISBN-13	978-3-540-17184-3 / 9783540171843
Zustand	Neuware