Type Driven Development With Idris

Author: Edwin Brady
Publisher: Manning Publications
ISBN: 9781617293023
Size: 46.72 MB
Format: PDF, Docs
View: 3101
Download Read Online
This book, written by the creator of Idris, teaches programmers how to improve the performance and accuracy of programs by taking advantage of a state-of-the-art type system.

Certified Programming With Dependent Types

Author: Adam Chlipala
Publisher: MIT Press
ISBN: 0262317885
Size: 70.31 MB
Format: PDF, ePub
View: 5290
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.

A Beginner S Book Of Tex

Author: Raymond Seroul
Publisher: Springer Science & Business Media
ISBN: 1441986545
Size: 40.88 MB
Format: PDF
View: 7615
Download Read Online
Digital typesetting consists in darkening the appropriate pixels (tiny squares) of this mesh, in patterns corresponding to each character and symbol of the text being set.

Interactive Theorem Proving And Program Development

Author: Yves Bertot
Publisher: Springer Science & Business Media
ISBN: 366207964X
Size: 64.83 MB
Format: PDF, Mobi
View: 7178
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.

Type Theory Functional Programming

Author: Simon Thompson
Publisher: Addison Wesley Publishing Company
ISBN: 9780201416671
Size: 43.92 MB
Format: PDF, Mobi
View: 3428
Download Read Online
This book explores the role of Martin-Lof s constructive type theory in computer programming. The main focus of the book is how the theory can be successfully applied in practice.

Parallel And Concurrent Programming In Haskell

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

Scala For Machine Learning

Author: Patrick R. Nicolas
Publisher: Packt Publishing Ltd
ISBN: 178355875X
Size: 69.40 MB
Format: PDF, ePub, Mobi
View: 4580
Download Read Online
Are you curious about AI? All you need is a good understanding of the Scala programming language, a basic knowledge of statistics, a keen interest in Big Data processing, and this book!

Type Theory And Formal Proof

Author: Rob Nederpelt
Publisher: Cambridge University Press
ISBN: 110703650X
Size: 53.38 MB
Format: PDF, Docs
View: 5722
Download Read Online
A gentle introduction for graduate students and researchers in the art of formalizing mathematics on the basis of type theory.

The Dart Programming Language

Author: Gilad Bracha
Publisher: Addison-Wesley Professional
ISBN: 9780321927705
Size: 16.20 MB
Format: PDF, ePub, Mobi
View: 199
Download Read Online
The text illuminates key programming constructs with significant examples, focusing on principles of the language, such as optional typing and pure object-orientation.