Type Driven Development With Idris

Author: Edwin Brady
Publisher: Manning Publications
ISBN: 9781617293023
Size: 22.53 MB
Format: PDF, Docs
View: 6875
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.

Types And Programming Languages

Author: Benjamin C. Pierce
Publisher: MIT Press
ISBN: 9780262162098
Size: 30.17 MB
Format: PDF, ePub
View: 102
Download Read Online
Mathematical Preliminaries - Untyped Systems - Untyped Arithmetic Expressions - An ML Implementation of Arithmetic Expressions - The Untyped Lambda-Calculus - Nameless Representation of Terms - An ML Implementation of the Lambda-Calculus - ...

Verified Functional Programming In Agda

Author: Aaron Stump
Publisher: Morgan & Claypool
ISBN: 1970001267
Size: 57.18 MB
Format: PDF, ePub
View: 904
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.

Cocoa Design Patterns

Author: Erik Buck
Publisher: Pearson Education
ISBN: 9780321591203
Size: 63.17 MB
Format: PDF, Docs
View: 1471
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 ...

Parallel And Concurrent Programming In Haskell

Author: Simon Marlow
Publisher: "O'Reilly Media, Inc."
ISBN: 1449335926
Size: 11.17 MB
Format: PDF
View: 6439
Download Read Online
Divided into separate sections on Parallel and Concurrent Haskell, this book also includes exercises to help you become familiar with the concepts presented: Express parallelism in Haskell with the Eval monad and Evaluation Strategies ...

Haskell Design Patterns

Author: Ryan Lemmer
Publisher: Packt Publishing Ltd
ISBN: 1783988738
Size: 47.21 MB
Format: PDF, Kindle
View: 1223
Download Read Online
Take your Haskell and functional programming skills to the next level by exploring new idioms and design patterns About This Book Explore Haskell on a higher level through idioms and patterns Get an in-depth look into the three strongholds ...

Life Of Pi Illustrated

Author: Yann Martel
Publisher: Canongate Books
ISBN: 0857869035
Size: 73.29 MB
Format: PDF, Kindle
View: 3806
Download Read Online
From thousands of entries, Croatian artist Tomislav Torjanac was chosen as the illustrator for this new edition of Life of Pi. Now readers can enjoy this extraordinary tale with his glorious colour illustrations.

Kotlin In Action

Author: Dmitry Jemerov
Publisher: Manning Publications
ISBN: 9781617293290
Size: 30.87 MB
Format: PDF, ePub
View: 3599
Download Read Online
And with an effi cient compiler and a small standard library, Kotlin imposes virtually no runtime overhead. About the Book Kotlin in Action teaches you to use the Kotlin language for production-quality applications.