Processing ......
|
FreeComputerBooks.com
Free Computer, Mathematics, Technical Books and Lecture Notes, etc. |
|
Top paid affiliate program FAQ - $1000.00 (USD) per sale - check here!
- Title Practical Foundations for Programming Languages
- Author(s) Robert Harper
- Publisher: Robert Harper (February 13, 2010)
- eBook 484 pages
- Language: English
- ISBN-10: N/A
- ISBN-13: N/A
|
Book Description
This is a working draft of a book on the foundations of programming languages. The central organizing principle of the book is that programming language features may be seen as manifestations of an underlying type structure that governs its syntax and semantics. The emphasis, therefore, is on the concept of type, which codifies and organizes the computational universe in much the same way that the concept of set may be seen as an organizing principle for the mathematical universe. The purpose of this book is to explain this remark.
About the Authors-
Robert Harper is a professor of Computer Science at Carnegie Mellon University.
Reviews and Rating:
- N/A
Related Book Categories:
Read and Download Links:|
|
|
 |
|
|
|
|
|
|
|
 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
