BOOKS EBOOKS RARE BOOKS CLASSICAL CDs DVDs PRINTED MUSIC PODCASTS OFFERS
Click here to take a virtual tour of Blackwells, Oxford

  

Search for: Gopalan Nadathur

Refine your search:

 

£40.00
Not yet printed

ISBN: 9780521879408 - Programming with Higher-Order Logic Programming with Higher-Order Logic
Dale Miller, Gopalan Nadathur

ISBN10: 052187940X  ISBN13: 9780521879408
Publisher: Cambridge University Press
Format: Hardback
Publication date: 30 Jun 2012
A programming language based on a higher-order logic provides an elegant and declarative approach to capturing computations involving types, proofs, and other syntactic structures. Formal systems that describe computations over syntactic... More

£58.99
Usually despatched within 10 days

New & used from £8.69
ISBN: 9783540665403 - Principles and Practice of Declarative Programming Principles and Practice of Declarative Programming
Nadathur, Gopalan Gopalan Nadathur

ISBN10: 3540665404  ISBN13: 9783540665403
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Format: Paperback
Publication date: 15 Sep 1999
This book constitutes the refereed proceedings of the International Conference on Principles and Practice of Declarative Programming, PPDP'99, held in Paris, France, in September/October 1999.The 22 revised full papers presented together with... More