# Certified Programming with Dependent Types - Adam Chlipala Published: 2013 by MIT Press ![Certified Programming with Dependent Types cover](https://books.google.com/books/content?id=8msTAgAAQBAJ&printsec=frontcover&img=1&zoom=1&edge=curl&source=gbs_api)