About the book

Welcome to the home page for the book Programming with Higher-Order Logic by Dale Miller and Gopalan Nadathur and published by Cambridge University Press, 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.