Book to be published by Cambridge University Press

By Dale MILLER in Publications

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.
Book cover

Dale MILLER

This website uses cookies so that we can provide you with the best user experience possible. Cookie information is stored in your browser and performs functions such as recognising you when you return to our website and helping our team to understand which sections of the website you find most interesting and useful.

Strictly Necessary Cookies

Strictly Necessary Cookie should be enabled at all times so that we can save your preferences for cookie settings.

Enable or Disable Cookies

If you disable this cookie, we will not be able to save your preferences. This means that every time you visit this website you will need to enable or disable cookies again.

Book to be published by Cambridge University Press

Dale MILLER

Recent News

See Also