Roll over image to zoom in

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) (1986. V, 208 S.)

Name: 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) (1986. V, 208 S.)
Brand: SPRINGER, BERLIN
SKU: 00000_00000_00000_00000
Price: 97.89 AUD
Availability: InStock

Herausgeber: Robinet, Bernard, Curien, Pierre-Louis, Cousineau, Guy

97.89 AUD

Member Price

88.11

Quantity:

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

... Read Full Text

VIII, 212 p.

... Read Full Text

Publisher

SPRINGER, BERLIN

Publication Date

ISBN

9783540171843

Pages

Item Type

Book

Format

Paperback

Availability Status

Usually dispatches within 3-4 weeks

While every attempt has been made to ensure stock availability, occasionally we may run out of stock at our stores.

Free domestic shipping on orders over 99.00AUD

Your Cart

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) (1986. V, 208 S.)

Product Description

Availability Status

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) (1986. V, 208 S.)

Recently Viewed Items

Related Products