About the book

Welcome to the home page for the book Programming with Higher-Order Logic by Dale Miller and Gopalan Nadathur.  This book was published by Cambridge University Press in June 2012.
Consult the menu on the left for access to a description of the book, its table-of-contents, listing of all the programming fragments in the book, etc.

Some book reviews