Edité par Cambridge University Press, 1999
ISBN 10 : 0521621127 ISBN 13 : 9780521621120
Langue: anglais
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 103,50
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Edité par Cambridge University Press, 1999
ISBN 10 : 0521621127 ISBN 13 : 9780521621120
Langue: anglais
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 102,17
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Edité par Cambridge University Press, 1999
ISBN 10 : 0521621127 ISBN 13 : 9780521621120
Langue: anglais
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
EUR 103,49
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Edité par Cambridge University Press, 1999
ISBN 10 : 0521621127 ISBN 13 : 9780521621120
Langue: anglais
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
EUR 113,40
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
Edité par Cambridge University Press, 1999
ISBN 10 : 0521621127 ISBN 13 : 9780521621120
Langue: anglais
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
EUR 114,68
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
Edité par Cambridge University Press, GB, 1998
ISBN 10 : 0521621127 ISBN 13 : 9780521621120
Langue: anglais
Vendeur : Rarewaves.com UK, London, Royaume-Uni
EUR 143,12
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierHardback. 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.
Edité par Cambridge University Press, GB, 1998
ISBN 10 : 0521621127 ISBN 13 : 9780521621120
Langue: anglais
Vendeur : Rarewaves.com USA, London, LONDO, Royaume-Uni
EUR 150,09
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierHardback. 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.
Edité par Cambridge University Press, 1999
ISBN 10 : 0521621127 ISBN 13 : 9780521621120
Langue: anglais
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
EUR 139,96
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierBuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
Vendeur : Revaluation Books, Exeter, Royaume-Uni
EUR 153,81
Autre deviseQuantité disponible : 2 disponible(s)
Ajouter au panierHardcover. Etat : Brand New. 392 pages. 9.50x6.50x1.00 inches. In Stock.
Edité par Cambridge University Press, 1999
ISBN 10 : 0521621127 ISBN 13 : 9780521621120
Langue: anglais
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
EUR 100,99
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Edité par Cambridge University Press, 1999
ISBN 10 : 0521621127 ISBN 13 : 9780521621120
Langue: anglais
Vendeur : BennettBooksLtd, North Las Vegas, NV, Etats-Unis
EUR 144,41
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierhardcover. Etat : New. In shrink wrap. Looks like an interesting title!
Edité par Cambridge University Press, 1999
ISBN 10 : 0060815426 ISBN 13 : 9780060815424
Vendeur : HPB-Diamond, Dallas, TX, Etats-Unis
EUR 67,78
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierhardcover. Etat : Very Good. Connecting readers with great books since 1972! Used books may not include companion materials, and may have some shelf wear or limited writing. We ship orders daily and Customer Service is our top priority!
Vendeur : Revaluation Books, Exeter, Royaume-Uni
EUR 105,53
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Brand New. 392 pages. 9.50x6.50x1.00 inches. In Stock. This item is printed on demand.
Edité par Cambridge University Press, 1999
ISBN 10 : 0521621127 ISBN 13 : 9780521621120
Langue: anglais
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
EUR 108,87
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierHardback. Etat : New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 800.
Edité par Cambridge University Press, 2010
ISBN 10 : 0521621127 ISBN 13 : 9780521621120
Langue: anglais
Vendeur : moluna, Greven, Allemagne
EUR 121,82
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierGebunden. 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.