Produktbild: Combinators and Functional Programming Languages

Combinators and Functional Programming Languages

Lieferzeit: Lieferbar innerhalb 14 Tagen

32,09 €

inkl. 7 % MwSt. zzgl. Versandkosten

Thirteenth Spring School of the LITP, Val d’Ajol, France, May 6-10,1985.Proceedings, Lecture Notes in Computer Science 242

ISBN: 3540171843
ISBN 13: 9783540171843
Herausgeber: Guy Cousineau/Pierre-Louis Curien/Bernard Robinet
Verlag: Springer Verlag GmbH
Umfang: viii, 212 S.
Erscheinungsdatum: 01.11.1986
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 1483528 Kategorie:

Beschreibung

InhaltsangabeStreams 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.

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …