Author : Dale Miller
Publisher : Cambridge University Press
ISBN 13 : 052187940X
Total Pages : 321 pages
Book Rating : 4.08/5 ( download)
Book Synopsis Programming with Higher-Order Logic by : Dale Miller
Download or read book Programming with Higher-Order Logic written by Dale Miller and published by Cambridge University Press. This book was released on 2012-06-11 with total page 321 pages. Available in PDF, EPUB and Kindle. Book excerpt: A programming language based on a higher-order logic provides a declarative approach to capturing computations involving types, proofs and other syntactic structures.