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

Cousineau, Guy; Curien, Pierre-Louis; Robinet, Bernard

 
9783540171843: Combinators and Functional Programming Languages: Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985. Proceedings (Lecture Notes in Computer Science, 242, Band 242)
Softcover
ISBN 10: 3540171843 ISBN 13: 9783540171843
Verlag: Springer, 2008

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2008
Sprache
Englisch
ISBN 10 
3540171843
ISBN 13 
9783540171843
Einband
Taschenbuch
Anzahl der Seiten
220
Kontakt zum Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Deutschland

Weitere beliebte Ausgaben desselben Titels

9780387171845: Combinators and functional programming languages: Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985, proceedings (Lecture notes in computer science)

Vorgestellte Ausgabe

ISBN 10:  0387171843 ISBN 13:  9780387171845
Softcover