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.

Use the menu above to explore this site.