Type Driven Development With Idris

Author: Edwin Brady
Publisher: Manning Publications
ISBN: 9781617293023
Size: 58.58 MB
Format: PDF
View: 4482
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: 78.63 MB
Format: PDF, Docs
View: 3497
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: 23.57 MB
Format: PDF, ePub
View: 5208
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.

Cocoa Design Patterns

Author: Erik Buck
Publisher: Pearson Education
ISBN: 9780321591203
Size: 13.69 MB
Format: PDF, ePub, Docs
View: 4049
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: 36.64 MB
Format: PDF, Kindle
View: 7026
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.

Ios In Practice

Author: Bear P. Cahill
Publisher: Manning Publications
ISBN: 9781617291265
Size: 74.51 MB
Format: PDF, Mobi
View: 3476
Download Read Online
Provides information on using iOS 5 to create applications for the iPhone, iPad, and iPod Touch.

Mongodb In Action

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