Type Driven Development With Idris

Author: Edwin Brady
Publisher: Manning Publications
ISBN: 9781617293023
Size: 33.51 MB
Format: PDF, ePub
View: 6400
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: 35.95 MB
Format: PDF, Kindle
View: 7765
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.

Functional Programming

Author: Anthony J. Field
Publisher: Addison Wesley Publishing Company
ISBN: 9780201192490
Size: 15.16 MB
Format: PDF, ePub
View: 5455
Download Read Online
This authoritative book presents a clear introduction to the fast developing field of functional programming.

An Introduction To Substructural Logics

Author: Greg Restall
Publisher: Psychology Press
ISBN: 9780415215343
Size: 24.80 MB
Format: PDF, Docs
View: 4455
Download Read Online
This book introduces an important group of logics that have come to be known as substructural. It is the first to survey the important impact this class of logics has had on developments in philosophy, computing and linguistics.

Parallel And Concurrent Programming In Haskell

Author: Simon Marlow
Publisher: "O'Reilly Media, Inc."
ISBN: 144933590X
Size: 73.18 MB
Format: PDF, ePub, Docs
View: 2798
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 ...

Type Theory And Formal Proof

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

Practical Foundations For Programming Languages

Author: Robert Harper
Publisher: Cambridge University Press
ISBN: 1107150302
Size: 34.65 MB
Format: PDF, ePub, Docs
View: 5422
Download Read Online
This book unifies a broad range of programming language concepts under the framework of type systems and structural operational semantics.

Verified Functional Programming In Agda

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

Kotlin In Action

Author: Dmitry Jemerov
Publisher: Manning Publications
ISBN: 9781617293290
Size: 46.62 MB
Format: PDF, ePub, Mobi
View: 4124
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.

Interactive Theorem Proving And Program Development

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