Type Driven Development With Idris

Author: Edwin Brady
Publisher: Manning Publications
ISBN: 9781617293023
Size: 37.40 MB
Format: PDF, ePub
View: 4980
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: 50.38 MB
Format: PDF, ePub, Mobi
View: 6876
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 - ...

Certified Programming With Dependent Types

Author: Adam Chlipala
Publisher: MIT Press
ISBN: 0262317885
Size: 45.39 MB
Format: PDF, Kindle
View: 1302
Download Read Online
The book also offers a library of tactics, or programs that find proofs, designed for use with examples in the book. Readers will acquire the necessary skills to reimplement these tactics in other settings by the end of the book.

Verified Functional Programming In Agda

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

Interpreting Lisp

Author: Gary D. Knott
Publisher: Apress
ISBN: 1484227077
Size: 62.81 MB
Format: PDF, ePub
View: 1099
Download Read Online
This book will be useful to autodidacts, professional programmers, and computer enthusiasts in a wide variety of fields.

Haskell High Performance Programming

Author: Samuli Thomasson
Publisher: Packt Publishing Ltd
ISBN: 1786466910
Size: 54.26 MB
Format: PDF, ePub, Docs
View: 7231
Download Read Online
Boost the performance of your Haskell applications using optimization, concurrency, and parallel programming About This Book Explore the benefits of lazy evaluation, compiler features, and tools and libraries designed for high performance ...

Cocoa Design Patterns

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

The Formal Semantics Of Programming Languages

Author: Glynn Winskel
Publisher: MIT Press
ISBN: 9780262731034
Size: 27.49 MB
Format: PDF, Docs
View: 4000
Download Read Online
The simplest language is that of recursion equations with both call-by-value and call-by-name evaluation. This work is extended to lan guages with higher and recursive types, including a treatment of the eager and lazy lambda-calculi.

Parallel And Concurrent Programming In Haskell

Author: Simon Marlow
Publisher: "O'Reilly Media, Inc."
ISBN: 1449335926
Size: 35.80 MB
Format: PDF, ePub, Mobi
View: 7627
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 ...