Practical Foundations for Programming Languages

Harper, Robert

ISBN 10: 1107029570 / ISBN 13: 9781107029576

Published by Cambridge University Press, 2012

About this Item

Very Good. Seller Inventory # D7S9-1-M-1107029570-4

Bibliographic Details

Title: Practical Foundations for Programming ...

Publisher: Cambridge University Press

Publication Date: 2012

Binding: Hardcover

Condition: Very Good

Book Type: book

About this title

Synopsis:

This book offers a fresh perspective on the fundamentals of programming languages through the use of type theory.

About the Author:

Robert Harper has been a member of the faculty of Computer Science at Carnegie Mellon University since 1988. His main research interest is in the application of type theory to the design and implementation of programming languages and to the development of systems for mechanization of mathematics. Professor Harper is a recipient of the Allen Newell Medal for Research Excellence and the Herbert A. Simon Award for Teaching Excellence at Carnegie Mellon and is a Fellow of the Association for Computing Machinery.