Articles liés à The Optimal Implementation of Functional Programming...
Synopsis
All traditional implementation techniques for functional languages (mostly based on supercombinators, environments or continuations) fail to avoid useless repetition of work; they are not 'optimal' in their implementation of sharing, often causing a catastrophic, exponential explosion in reduction time. Optimal reduction is an innovative graph reduction technique for functional expressions, introduced by Lamping in 1990, that solves the sharing problem. This book, the first in the subject, is a comprehensive account by two of its leading exponents. Practical implementation aspects are fully covered as are the mathematical underpinnings of the subject. The relationship to the pioneering work of Lévy and to Girard's more recent Geometry of Interaction are explored; optimal reduction is thereby revealed as a prime example of how a beautiful mathematical theory can lead to practical benefit. The book is essentially self-contained, requiring no more than basic familiarity with functional languages. It will be welcomed by graduate students and research workers in lambda calculus, functional programming or linear logic.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Présentation de l'éditeur
All traditional implementation techniques for functional languages (mostly based on supercombinators, environments or continuations) fail to avoid useless repetition of work; they are not 'optimal' in their implementation of sharing, often causing a catastrophic, exponential explosion in reduction time. Optimal reduction is an innovative graph reduction technique for functional expressions, introduced by Lamping in 1990, that solves the sharing problem. This book, the first in the subject, is a comprehensive account by two of its leading exponents. Practical implementation aspects are fully covered as are the mathematical underpinnings of the subject. The relationship to the pioneering work of Lévy and to Girard's more recent Geometry of Interaction are explored; optimal reduction is thereby revealed as a prime example of how a beautiful mathematical theory can lead to practical benefit. The book is essentially self-contained, requiring no more than basic familiarity with functional languages. It will be welcomed by graduate students and research workers in lambda calculus, functional programming or linear logic.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 103,20
EUR 4,58 expédition depuis Royaume-Uni vers France
Destinations, frais et délaisRésultats de recherche pour The Optimal Implementation of Functional Programming...
Image d'archives
The Optimal Implementation of Functional Programming Languages (Cambridge Tracts in Theoretical Computer Science, Series Number 45)
Edité par
Cambridge University Press, 1999
ISBN 10 : 0521621127
ISBN 13 : 9780521621120
Neuf
Couverture rigide
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9780521621120_new
Quantité disponible : Plus de 20 disponibles
Image d'archives
The Optimal Implementation of Functional Programming Languages
Edité par
Cambridge Univ Pr, 1998
ISBN 10 : 0521621127
ISBN 13 : 9780521621120
Neuf
Couverture rigide
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Brand New. 392 pages. 9.50x6.50x1.00 inches. In Stock. This item is printed on demand. N° de réf. du vendeur __0521621127
Quantité disponible : 1 disponible(s)
Image d'archives
The Optimal Implementation of Functional Programming Languages
Edité par
Cambridge University Press, 1999
ISBN 10 : 0521621127
ISBN 13 : 9780521621120
Neuf
Couverture rigide
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Hardback. Etat : New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 800. N° de réf. du vendeur C9780521621120
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Optimal Implementation of Functional Programming Languages
Edité par
Cambridge University Press, 1999
ISBN 10 : 0521621127
ISBN 13 : 9780521621120
Neuf
Couverture rigide
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 700414-n
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Optimal Implementation of Functional Programming Languages
Edité par
Cambridge University Press, 1999
ISBN 10 : 0521621127
ISBN 13 : 9780521621120
Neuf
Couverture rigide
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 700414-n
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Optimal Implementation of Functional Programming Languages
Edité par
Cambridge University Press, 1999
ISBN 10 : 0521621127
ISBN 13 : 9780521621120
Ancien ou d'occasion
Couverture rigide
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 700414
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
The Optimal Implementation of Functional Programming Languages
Edité par
Cambridge University Press, 2010
ISBN 10 : 0521621127
ISBN 13 : 9780521621120
Neuf
Couverture rigide
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Gebunden. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book, the first in the subject, is a comprehensive account of optimal reduction by two of its leading exponents. Practical implementation aspects are fully covered as are its mathematical underpinnings. The book is essentially self-contained, requiring. N° de réf. du vendeur 446942613
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Optimal Implementation of Functional Programming Languages
Edité par
Cambridge University Press, 1999
ISBN 10 : 0521621127
ISBN 13 : 9780521621120
Ancien ou d'occasion
Couverture rigide
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 700414
Quantité disponible : Plus de 20 disponibles
Image d'archives
The Optimal Implementation of Functional Programming Languages (Hardcover)
Edité par
Cambridge University Press, Cambridge, 1998
ISBN 10 : 0521621127
ISBN 13 : 9780521621120
Neuf
Couverture rigide
Vendeur : CitiRetail, Stevenage, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : new. Hardcover. All traditional implementation techniques for functional languages (mostly based on supercombinators, environments or continuations) fail to avoid useless repetition of work; they are not 'optimal' in their implementation of sharing, often causing a catastrophic, exponential explosion in reduction time. Optimal reduction is an innovative graph reduction technique for functional expressions, introduced by Lamping in 1990, that solves the sharing problem. This book, the first in the subject, is a comprehensive account by two of its leading exponents. Practical implementation aspects are fully covered as are the mathematical underpinnings of the subject. The relationship to the pioneering work of Levy and to Girard's more recent Geometry of Interaction are explored; optimal reduction is thereby revealed as a prime example of how a beautiful mathematical theory can lead to practical benefit. The book is essentially self-contained, requiring no more than basic familiarity with functional languages. It will be welcomed by graduate students and research workers in lambda calculus, functional programming or linear logic. First account of the subject by two of its exponents. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. N° de réf. du vendeur 9780521621120
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
The Optimal Implementation of Functional Programming Languages
Edité par
Cambridge University Press, GB, 1998
ISBN 10 : 0521621127
ISBN 13 : 9780521621120
Neuf
Couverture rigide
Vendeur : Rarewaves.com UK, London, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Hardback. Etat : New. All traditional implementation techniques for functional languages (mostly based on supercombinators, environments or continuations) fail to avoid useless repetition of work; they are not 'optimal' in their implementation of sharing, often causing a catastrophic, exponential explosion in reduction time. Optimal reduction is an innovative graph reduction technique for functional expressions, introduced by Lamping in 1990, that solves the sharing problem. This book, the first in the subject, is a comprehensive account by two of its leading exponents. Practical implementation aspects are fully covered as are the mathematical underpinnings of the subject. The relationship to the pioneering work of Lévy and to Girard's more recent Geometry of Interaction are explored; optimal reduction is thereby revealed as a prime example of how a beautiful mathematical theory can lead to practical benefit. The book is essentially self-contained, requiring no more than basic familiarity with functional languages. It will be welcomed by graduate students and research workers in lambda calculus, functional programming or linear logic. N° de réf. du vendeur LU-9780521621120
Quantité disponible : Plus de 20 disponibles