Adam Chlipala

Adam Chlipala

Adam Chlipala is an Associate Professor without Tenure of Computer Science in the Department of Electrical Engineering and Computer Science at MIT. His research interests are applied logic in development tools for software and hardware, design and implementation of programming languages, and design, implementation, and applications of interactive proof assistants.

 

Back to all authors

Books Authored by Adam Chlipala

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

Post date: 13 Nov 2016
This textbook covers practical engineering with the Coq proof assistant. The focus is on building programs with proofs of correctness, using dependent types and scripted proof automation.
Publisher: The MIT Press
Publication date: 30 Jun 2016
License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported
Document Type: Textbook
 
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

Post date: 13 Nov 2016
This textbook covers practical engineering with the Coq proof assistant. The focus is on building programs with proofs of correctness, using dependent types and scripted proof automation.
Publisher: The MIT Press
Publication date: 30 Jun 2016
License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported Document Type: Textbook


Book Categories
Sponsors