Original language | English |
---|---|
Pages | 32-35 |
Number of pages | 4 |
Volume | 45 |
Specialist publication | ACM SIGACT News |
DOIs | |
Publication status | Published - 1 Jun 2014 |
Review of Programming with Higher-order Logic by Dale Miller and Gopalan Nadathur
Research output: Contribution to specialist publication › Book/Film/Article review