Certified Programming with Dependent Types
by Adam Chlipala
2011
Number of pages: 371
Description:
Due in no small part to some bold but unfulfilled promises in the history of computer science, today most people who write software, practitioners and academics alike, assume that the costs of formal program verification outweigh the benefits. The purpose of this book is to convince you that the technology of program verification is mature enough today that it makes sense to use it in a support role in many kinds of research projects in computer science.
Download or read it online for free here:
Download link
(3.9MB, PDF)
Similar books
Learn Functional Programmingby Goran Jovic - learn-functional-programming.com
The purpose of this book is to explain the main concepts in functional programming as simply as possible. The focus is not on implementation details of a specific language, compiler or platform, but on the concepts themselves.
(456 views)
Exploring ReasonML and Functional Programmingby Axel Rauschmayer - ReasonML Hub
This book teaches the programming language ReasonML by Facebook. It is also an introduction to functional programming. Especially people familiar with C-style languages (Java, JavaScript, C#, etc.) will profit from ReasonML's familiar syntax.
(6486 views)
A Gentle Introduction to MLby Andrew Cumming - Napier University
Functional languages such as ML, Hope and Lisp allow us to develop programs which will submit logical analysis relatively easily. Using a functional language we can make assertions about programs and prove these assertions to be correct.
(10212 views)
Functional Programming in Pythonby David Mertz - O'Reilly Media
Python is not a functional programming language, but it is a multi-paradigm language that makes functional programming easy to perform. This book examines the functional aspects of the language and points out which options work well and which do not.
(10360 views)