Ml For The Working Programmer(1st Edition)
Authors:
Lawrence C Paulson
In Stock: 2 Left
Shipment time
Expected shipping within 2 - 3 DaysPopular items with books
Total Price:
$0
Solution Manual Includes
Price:
$9.99
Book details
ISBN: 0521390222, 978-0521390224
Book publisher: Cambridge University Press
Book Price $0 : 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.
Popular Among Students (16)
Microbiology With Diseases By Taxonomy - 4th Edition
Robert W Bauman
ISBN: 0321819314, 9780321819314
$0 $25.94
Biology Concepts And Applications - 9th Edition
Cecie Starr
ISBN: 1285427815, 9781285427812
$0 $8.90
Human Biology Concepts And Current Issues - 7th Edition
Michael D Johnson
ISBN: 0321821653, 9780321821652
$0 $11.95
Leadership Enhancing the Lessons of Experience - 7th edition
Richard Hughes
ISBN: 78112656, 978-0078112652
$0 $15.19
New Perspectives Microsoft Office 365 And Access 2019 Comprehensive - 1st Edition
Mark Shellman
ISBN: 035702575X, 978-0357025758
$0 $49.90
Isabelle A Generic Theorem Prover By Lawrence C Paulson - 1st Edition
Lawrence C Paulson
ISBN: B01F9H3PLO
$0 $75.36
Interactive Theorem Proving First International Conference ITP 2010 Edinburgh UK July 11 14 2010 Proceedings - 2010 Edition
Matt Kaufmann
ISBN: 3642140513, 978-3642140518
$84.78 $121.12
The Repoze Bfg Web Application Framework Version 1 2 - 1st Edition
Chris Mcdonough
ISBN: 0615345379, 978-0615345376
$0 $24.98
Summary The Inmates Are Running The Asylum Review And Analysis Of Coopers Book - 1st Edition
Businessnews Businessnews Publishing
ISBN: 2511048116, 978-2511048115
$0 $14.99
Industry 4 0 Solutions For Building Design And Construction - 1st Edition
Farzad Pour Rahimian
ISBN: 0367618788, 978-0367618780
$147 $210.00
Mobility Analytics For Spatio Temporal And Social Data First International Workshop Mates 2017 Munich Germany September 1 2017 - 1st Edition
Christos Doulkeridis
ISBN: 3319735209, 978-3319735207
$0 $55.64