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
![Book cover: Professor Frisby's Mostly Adequate Guide to Functional Programming](images/10624.jpg)
- GitBook
This is a book on the functional paradigm in general. We will use the world's most popular functional programming language: JavaScript. JavaScript will be our means of learning a paradigm, where you apply it is up to you.
(7451 views)
![Book cover: Functional Programming in Python](images/11618.jpg)
by 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.
(9679 views)
![Book cover: The Design of Functional Programs - A Calculational Approach](images/blank.gif)
by Dr. Robert Richard Hoogerwoord - Technische Universiteit Eindhoven
This document was started as a research to what extent functional programs can be designed in a calculational way. This should be possible because functional-program notations carry less operational connotations than their sequential counterparts do.
(10679 views)
![Book cover: Functional Programming and Parallel Graph Rewriting](images/4438.jpg)
by Rinus Plasmeijer, Marko van Eekelen - Addison-Wesley
An introduction to the techniques of functional programming, the associated computational models and the implementation of functional programming languages on both sequential and parallel machines. All the chapters include a summary and exercises.
(9067 views)