Practical Foundations for Programming Languages |
|
| Author:
| Harper, Robert |
| ISBN: | 978-1-107-30285-3 |
| Publication Date: | Feb 2013 |
| Publisher: | Cambridge University Press
|
| Book Format: | Ebook |
| List Price: | Contact Supplier contact
|
Book Description:
|
This book offers a fresh perspective on the fundamentals of programming languages through the use of type theory.
This book offers a fresh perspective on the fundamentals of programming languages through the use of type theory.