ML for the Working Programmer (Cambridge Computer Science Texts)

Valutazione media 3,76
( su 29 valutazioni fornite da Goodreads )
 
9780521422253: ML for the Working Programmer (Cambridge Computer Science Texts)

This book teaches the methods of functional programming--in particular, how to program in Standard ML, a functional language recently developed at Edinburgh University. The author shows how to use such concepts as lists, trees, higher-order functions and infinite data structures and includes a chapter on formal reasoning about functional programming.

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

Book Description:

The new edition of this successful and established textbook retains its two original intentions of explaining how to program in the ML language and teaching the fundamentals of functional programming. The major change is the prominent coverage of modules.

Review:

"Paulson is a leader in the field of computer-aided proof, and that field inspires the book's best examples, including a tautology checker, a parser, and a pretty good printer. There is a fascinating collection of search algorithms, which illustrate with good effect how ML can mimic 'lazy' evaluation. These examples culminate in a wonderful final chapter that presents a theorem prover, of just the kind ML was created to support....Paulson writes with vigour and with humour. The book is spiced with jokes and polemics....He minces few words, and as a result he occasionally overstates his case. But better to speak forcefully than to say nothing at all." Philip Wadler, Times Higher Education Supplement

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

I migliori risultati di ricerca su AbeBooks

1.

Paulson, Lawrence C.
Editore: Cambridge University Press (1992)
ISBN 10: 0521422256 ISBN 13: 9780521422253
Usato Paperback Quantità: 1
Da
Bookbarn International
(Bristol, SOM, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press, 1992. Paperback. Condizione libro: Good. Sent within 24 hours. Expedited UK delivery available. Codice libro della libreria BBI2486692

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra usato
EUR 3,04
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 2,27
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

2.

Lawrence C. Paulson
Editore: Cambridge University Press (1992)
ISBN 10: 0521422256 ISBN 13: 9780521422253
Usato Brossura Quantità: 1
Da
Anybook Ltd.
(Lincoln, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press, 1992. Condizione libro: Fair. This book has soft covers. Ex-library, With usual stamps and markings, In fair condition, suitable as a study copy. Codice libro della libreria 2826978

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra usato
EUR 0,84
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 6,93
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

3.

Lawrence C. Paulson
Editore: Cambridge University Press
ISBN 10: 0521422256 ISBN 13: 9780521422253
Usato Paperback Quantità: 1
Da
Hippo Books
(Toledo, OH, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press. Paperback. Condizione libro: GOOD. Gently used may contain ex-library markings, possibly has some minor highlighting, textual notations, and or underlining. Text is still easily readable. Codice libro della libreria 2786624213

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra usato
EUR 26,02
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi

4.

Lawrence C. Paulson
Editore: Cambridge University Press (1993)
ISBN 10: 0521422256 ISBN 13: 9780521422253
Usato Paperback Quantità: 1
Da
Ergodebooks
(RICHMOND, TX, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press, 1993. Paperback. Condizione libro: Used: Good. Codice libro della libreria SONG0521422256

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra usato
EUR 23,07
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 4,21
In U.S.A.
Destinazione, tempi e costi