Type Driven Development With Idris

Author: Edwin Brady
Publisher: Manning Publications
ISBN: 9781617293023
Size: 56.82 MB
Format: PDF, ePub, Docs
View: 3510
Download Read Online
This book teaches you with Idris, a language designed to support type-driven development. Purchase of the print book includes a free eBook in PDF, Kindle, and ePub formats from Manning Publications.

Verified Functional Programming In Agda

Author: Aaron Stump
Publisher: Morgan & Claypool
ISBN: 1970001267
Size: 60.35 MB
Format: PDF
View: 5558
Download Read Online
More advanced material on type-level computation, explicit reasoning about termination, and normalization by evaluation is also included. The book also includes a medium-sized case study on Huffman encoding and decoding.

Interactive Theorem Proving And Program Development

Author: Yves Bertot
Publisher: Springer Science & Business Media
ISBN: 366207964X
Size: 22.95 MB
Format: PDF
View: 5130
Download Read Online
It is based on a theory called the calculus of inductive constructions, a variant of type theory. This book provides a pragmatic introduction to the development of proofs and certified programs using Coq.

F Deep Dives

Author: Tomas Petricek
Publisher: Manning Publications
ISBN: 9781617291326
Size: 36.42 MB
Format: PDF, ePub
View: 5069
Download Read Online
About the Book F# Deep Dives is a selection of real-world F# techniques written by expert practitioners.

Cocoa Design Patterns

Author: Erik Buck
Publisher: Pearson Education
ISBN: 9780321591203
Size: 14.70 MB
Format: PDF, Kindle
View: 1658
Download Read Online
“Next time some kid shows up at my door asking for a code review, this is the book that I am going to throw at him.” –Aaron Hillegass, founder of Big Nerd Ranch, Inc., and author of Cocoa Programming for Mac OS X Unlocking the Secrets ...

Storm Applied

Author: Sean T. Allen
Publisher: Manning Publications
ISBN: 9781617291890
Size: 34.25 MB
Format: PDF, Mobi
View: 5694
Download Read Online
About the Book Storm Applied is an example-driven guide to processing and analyzing real-time data streams. This immediately useful book starts by teaching you how to design Storm solutions the right way.

Introducing Data Science

Author: Davy Cielen
Publisher: Manning Publications
ISBN: 9781633430037
Size: 43.81 MB
Format: PDF
View: 5691
Download Read Online
After reading this book, readers will have a solid foundation to consider a career in data science. Purchase of the print book includes a free eBook in PDF, Kindle, and ePub formats from Manning Publications.

Mongodb In Action

Author: Kyle Banker
Publisher: Manning Publications
ISBN: 9781935182870
Size: 26.54 MB
Format: PDF, Kindle
View: 3011
Download Read Online
This comprehensive guide book begins by explaining what makes MongoDB unique.

Learn Windows Powershell In A Month Of Lunches

Author: Donald W. Jones
Publisher: Manning Publications
ISBN: 9781617294167
Size: 35.95 MB
Format: PDF, ePub, Mobi
View: 3927
Download Read Online
About the Book Learn Windows PowerShell in a Month of Lunches, Third Edition is an innovative tutorial designed for busy IT professionals.