PRACTICAL FOUNDATIONS FOR PROGRAMMING

Name: PRACTICAL FOUNDATIONS FOR PROGRAMMING
SKU: 9781107150300
Availability: BackOrder

By (author) Robert Harper,

€74.11 ~~€79.69~~

SKU: 9781107150300

ISBN: 9781107150300

Book Format: Hardback

Pages: 512

Dimensions: 17.8 × 3.2 × 26.4 cm

Information about this book

Product Details

Additional information

Format Hardback | 512 pages
Dimensions 17.8 × 3.2 × 26.4 cm | 1080
Publication Date 04 April 2016
Publisher Cambridge University Press
Publication City/Country United Kingdom
Edition 2nd Revised edition

About the author

Robert Harper

1 Published Books

Robert Harper is a professor in the computer science department at Carnegie Mellon University, Pennsylvania. His main research interest is in the application of type theory to the design and implementation of programming languages and to the mechanization of their meta-theory. Harper is a recipient of the Allen Newell Medal for Research Excellence and the Herbert A. Simon Award for Teaching Excell ence, and is an Association for Computing Machinery Fellow.

books by Robert Harper

Textbooks