Overview

Full Product Details

Author:   Guy Cousineau ,  Pierre-Louis Curien ,  Bernard Robinet
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Edition:   1986 ed.
Volume:   242
Dimensions:   Width: 15.50cm , Height: 1.10cm , Length: 23.50cm
Weight:   0.700kg
ISBN:  

9783540171843

ISBN 10:   3540171843
Pages:   212
Publication Date:   01 November 1986
Audience:   College/higher education ,  Professional and scholarly ,  Undergraduate ,  Postgraduate, Research & Scholarly
Format:   Paperback
Publisher's Status:   Active
Availability:   In Print  
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.
Language:   eng, fre

Table of Contents

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.

Reviews

Author Information

Tab Content 6

Author Website:  

Countries Available

All regions