Articoli correlati a The Optimal Implementation of Functional Programming...

The Optimal Implementation of Functional Programming Languages - Rilegato

 
9780521621120: The Optimal Implementation of Functional Programming Languages

Sinossi

First account of the subject by two of its leading exponents. Essentially self-contained.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Descrizione del libro

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 no more than basic familiarity with functional languages. It will be welcomed by graduate students and research workers.

Contenuti

1. Introduction; 2. Optimal reduction; 3. The full algorithm; 4. Optimal reductions and linear logic; 5. Zig-zag; 6. Paths; 7. Read-back; 8. Other translations in sharing graphs; 9. Safe nodes; 10. Complexity; 11. Functional programming; 12. Source language; Bibliography; Index.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Compra usato

Condizioni: come nuovo
Unread book in perfect condition...
Visualizza questo articolo

EUR 17,25 per la spedizione da U.S.A. a Italia

Destinazione, tempi e costi

EUR 10,31 per la spedizione da Regno Unito a Italia

Destinazione, tempi e costi

Risultati della ricerca per The Optimal Implementation of Functional Programming...

Foto dell'editore

Asperti, Andrea; Guerrini, Stefano
ISBN 10: 0521621127 ISBN 13: 9780521621120
Nuovo Rilegato

Da: Ria Christie Collections, Uxbridge, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. In. Codice articolo ria9780521621120_new

Contatta il venditore

Compra nuovo

EUR 103,06
Convertire valuta
Spese di spedizione: EUR 10,31
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

Andrea Asperti/ Stefano Guerrini
Editore: Cambridge Univ Pr, 1998
ISBN 10: 0521621127 ISBN 13: 9780521621120
Nuovo Rilegato
Print on Demand

Da: Revaluation Books, Exeter, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Hardcover. Condizione: Brand New. 392 pages. 9.50x6.50x1.00 inches. In Stock. This item is printed on demand. Codice articolo __0521621127

Contatta il venditore

Compra nuovo

EUR 105,08
Convertire valuta
Spese di spedizione: EUR 11,47
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Andrea Asperti
ISBN 10: 0521621127 ISBN 13: 9780521621120
Nuovo Rilegato
Print on Demand

Da: THE SAINT BOOKSTORE, Southport, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Hardback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 800. Codice articolo C9780521621120

Contatta il venditore

Compra nuovo

EUR 107,28
Convertire valuta
Spese di spedizione: EUR 12,49
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Asperti, Andrea; Guerrini, Stefano
ISBN 10: 0521621127 ISBN 13: 9780521621120
Nuovo Rilegato

Da: GreatBookPrices, Columbia, MD, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Codice articolo 700414-n

Contatta il venditore

Compra nuovo

EUR 102,96
Convertire valuta
Spese di spedizione: EUR 17,25
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Asperti, Andrea; Guerrini, Stefano
ISBN 10: 0521621127 ISBN 13: 9780521621120
Nuovo Rilegato

Da: GreatBookPricesUK, Woodford Green, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Codice articolo 700414-n

Contatta il venditore

Compra nuovo

EUR 103,05
Convertire valuta
Spese di spedizione: EUR 17,21
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Asperti, Andrea; Guerrini, Stefano
ISBN 10: 0521621127 ISBN 13: 9780521621120
Antico o usato Rilegato

Da: GreatBookPrices, Columbia, MD, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: As New. Unread book in perfect condition. Codice articolo 700414

Contatta il venditore

Compra usato

EUR 113,51
Convertire valuta
Spese di spedizione: EUR 17,25
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Asperti, Andrea; Guerrini, Stefano
ISBN 10: 0521621127 ISBN 13: 9780521621120
Antico o usato Rilegato

Da: GreatBookPricesUK, Woodford Green, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: As New. Unread book in perfect condition. Codice articolo 700414

Contatta il venditore

Compra usato

EUR 114,18
Convertire valuta
Spese di spedizione: EUR 17,21
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Asperti, Andrea
ISBN 10: 0521621127 ISBN 13: 9780521621120
Nuovo Rilegato
Print on Demand

Da: moluna, Greven, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Gebunden. Condizione: 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. Codice articolo 446942613

Contatta il venditore

Compra nuovo

EUR 121,82
Convertire valuta
Spese di spedizione: EUR 9,70
Da: Germania a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

Stefano Guerrini
ISBN 10: 0521621127 ISBN 13: 9780521621120
Nuovo Rilegato

Da: CitiRetail, Stevenage, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Hardcover. Condizione: 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. Codice articolo 9780521621120

Contatta il venditore

Compra nuovo

EUR 109,26
Convertire valuta
Spese di spedizione: EUR 34,41
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Andrea Asperti, Stefano Guerrini
ISBN 10: 0521621127 ISBN 13: 9780521621120
Nuovo Rilegato

Da: Rarewaves.com UK, London, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Hardback. Condizione: 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. Codice articolo LU-9780521621120

Contatta il venditore

Compra nuovo

EUR 142,50
Convertire valuta
Spese di spedizione: EUR 2,29
Da: Regno Unito a: Italia
Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungi al carrello

Vedi altre 7 copie di questo libro

Vedi tutti i risultati per questo libro