Artículos relacionados a ML for the Working Programmer
Sinopsis
Book by Paulson Lawrence C
"Sinopsis" puede pertenecer a otra edición de este libro.
Críticas
"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 ."..a readable guide to functional programming, which will take the reader through all the features of Standard ML, including exceptions, the module system, and imperative reference types...." Simon Thompson, Computing Reviews ."..the first available book that presents ML to a general audience. The author succeeds in explaining the features of ML in digestible chunks. Numerous examples are presented for illustration. Parts of the book, I think, go beyond the interests of a majority of working programmers, but programmers who continue their education (formally or otherwise) will find some interesting material to broaden their knowledge....Overall, I found this book to be informative and useful." Reginald Meeson, ACM SIGPLAN "If you are an experienced programmer who wants to learn Standard ML, then this is the text for you. The book succeeds on two levels: as an introduction both to the strengths of functional programming in general, and to the intricacies of Standard ML in particular. It is filled with well-crafted programs that reveal the tricks of the functional programmer's trade. There is a readable explanation of the sophisticated modules system, and danger signs warn you of the few remaining infelicities in the language.....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 humor. The book is spiced with jokes and polemics." Philip Wadler, Times Higher Education Supplement
Reseña del editor
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. This is meant to be a practical book; the author avoids dogma, emphasizes efficiency, and provides many useful and interesting programs. These include fast sorting functions and efficient function implementations of arrays, queues, and priority queues. Examples also include a ^D*l-calculus reducer and theorem prover. Most features of ML (including modules and imperative programming) are covered in depth and the book can be used without an ML reference manual. The reader is assumed to have some experience in programming in conventional languages such as C or Pascal. For such individuals, be they students, graduates or researchers, this will be a convincing introduction to functional programming.
"Sobre este título" puede pertenecer a otra edición de este libro.
- EditorialCambridge University Press
- Año de publicación1991
- ISBN 10 0521390222
- ISBN 13 9780521390224
- EncuadernaciónTapa dura
- IdiomaInglés
- Número de páginas439
Comprar nuevo
Ver este artículo
EUR 95,03
EUR 3,75 gastos de envío en Estados Unidos de America
Destinos, gastos y plazos de envíoOtras ediciones populares con el mismo título
Resultados de la búsqueda para ML for the Working Programmer
Imagen del vendedor
ML for the Working Programmer
Publicado por
Cambridge University Press, 1991
ISBN 10: 0521390222
ISBN 13: 9780521390224
Antiguo o usado
Tapa dura
Librería: Goodwill of Silicon Valley, SAN JOSE, CA, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: good. Supports Goodwill of Silicon Valley job training programs. The cover and pages are in Good condition! Any other included accessories are also in Good condition showing use. Use can include some highlighting and writing, page and cover creases as well as other types visible wear. Nº de ref. del artículo: GWSVV.0521390222.G
Cantidad disponible: 1 disponibles
Imagen de archivo
ML for the Working Programmer
Publicado por
Cambridge University Press, 1991
ISBN 10: 0521390222
ISBN 13: 9780521390224
Antiguo o usado
Tapa dura
Librería: Better World Books, Mishawaka, IN, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: Good. Used book that is in clean, average condition without any missing pages. Nº de ref. del artículo: 13674779-20
Cantidad disponible: 1 disponibles
Imagen de archivo
ML for the Working Programmer
Publicado por
Cambridge University Press (edition ), 1991
ISBN 10: 0521390222
ISBN 13: 9780521390224
Antiguo o usado
Tapa dura
Librería: BooksRun, Philadelphia, PA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: Good. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported. Nº de ref. del artículo: 0521390222-11-1
Cantidad disponible: 1 disponibles
Imagen de archivo
ML for the Working Programmer
Publicado por
Cambridge University Press, 1991
ISBN 10: 0521390222
ISBN 13: 9780521390224
Antiguo o usado
Tapa dura
Librería: Book Alley, Pasadena, CA, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
hardcover. Condición: Good. Good. Ex-Library with usual stamps and stickers. Used with moderate to heavy wear to covers and corners, sunning to spine. Age-toning to pages. NO markings and binding is sturdy. Nº de ref. del artículo: mon0000681866
Cantidad disponible: 1 disponibles
Imagen de archivo
ML for the Working Programmer
Publicado por
Cambridge University Press, 1991
ISBN 10: 0521390222
ISBN 13: 9780521390224
Antiguo o usado
Tapa dura
Librería: Grumpys Fine Books, Tijeras, NM, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: very good. little wear and tear. Nº de ref. del artículo: Grumpy0521390222
Cantidad disponible: 1 disponibles
Imagen de archivo
ML for the Working Programmer
Librería: AwesomeBooks, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: Very Good. ML for the Working Programmer This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. Nº de ref. del artículo: 7719-9780521390224
Gastos de envío:
EUR 5,87
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles
Imagen de archivo
ML for the Working Programmer
Librería: Bahamut Media, Reading, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: Very Good. This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. Nº de ref. del artículo: 6545-9780521390224
Gastos de envío:
EUR 8,21
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles
Imagen de archivo
ML for the Working Programmer
Publicado por
Cambridge University Press, 1991
ISBN 10: 0521390222
ISBN 13: 9780521390224
Antiguo o usado
Tapa dura
Librería: Phatpocket Limited, Waltham Abbey, HERTS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Shows some signs of wear but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. Nº de ref. del artículo: Z1-C-067-05523
Gastos de envío:
EUR 12,52
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles
Imagen de archivo
ML for the Working Programmer
Publicado por
Cambridge University Press, 1991
ISBN 10: 0521390222
ISBN 13: 9780521390224
Antiguo o usado
Tapa dura
Librería: Goldstone Books, Llandybie, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
hardcover. Condición: Good. All orders are dispatched within one working day from our UK warehouse. We've been selling books online since 2004! We have over 750,000 books in stock. No quibble refund if not completely satisfied. Nº de ref. del artículo: mon0007450372
Gastos de envío:
EUR 8,22
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles
Imagen de archivo
ML for the Working Programmer
Publicado por
Cambridge University Press, 1991
ISBN 10: 0521390222
ISBN 13: 9780521390224
Antiguo o usado
Tapa dura
Librería: Buchpark, Trebbin, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: Gut. Zustand: Gut - Gebrauchs- und Lagerspuren. Innen: Geknickt. | Seiten: 439 | Sprache: Englisch | Produktart: Bücher. Nº de ref. del artículo: 38575070/3
Gastos de envío:
EUR 45,00
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles