Review of Programming with Higher-order Logic by Dale Miller and Gopalan Nadathur

Research output: Contribution to specialist publicationBook/Film/Article review

Original languageEnglish
Pages32-35
Number of pages4
Volume45
Specialist publicationACM SIGACT News
DOIs
Publication statusPublished - 1 Jun 2014

Cite this