The book Programming with higher-order logic by Dale Miller and Gopalan Nadathur will be published by Cambridge University Press by the end of May 2012. It is available for pre-ordering on Amazon.com and Amazon.fr. The table of contents is available.
Feb 08