Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant

By
Adam Chlipala
Adam Chlipala

Adam Chlipala is Assistant Professor of Electrical Engineering and Computer Science and Douglas T. Ross (1954) Career Development Professor of Software Technology at MIT.

Search for other works by this author on:
This Site
Google Scholar
The MIT Press
DOI:
https://doi.org/10.7551/mitpress/9153.001.0001
ISBN electronic:
9780262317870
Publication date:
2013
Certiļ¬ed  
Programming  
with  
Dependent  
Types  
Certified  
Programming  
with  
Dependent  
Types  
A Pragmatic Introduction to the Coq Proof Assistant  
Adam Chlipala  
The MIT Press  
Cambridge, Massachusetts  
London, England