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
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.
(2227 views)
The Design of Functional Programs - A Calculational Approachby 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.
(5967 views)
The Conception, Evolution, and Application of Functional Programming Languagesby Paul Hudak - Yale University
The foundations of functional programming languages are examined from both historical and technical perspectives. Their evolution is traced through several periods. The attention is paid to the main features that characterize functional languages.
(6443 views)
Professor Frisby's Mostly Adequate Guide to Functional Programming- 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.
(1594 views)