Book Review 2014-1

Programming with Higher-Order Logic by Dale Miller and Gopalan Nadathur, xiv + 306 pages, Cambridge University Press, 2012.

PDF Version

Reviewed by Frank Pfenning
Carnegie Mellon University, Pittsburgh