Title | Practical Foundations for Programming Languages |
---|---|
Publisher | Carnegie Mellon University |
Authors | Robert Harper |
Topics | Computer Science, |
Total Pages | 590 |
File Size | 3.0 MB |
Format |
Types are the central organizing principle of the theory of programming languages. Language features are manifestations of type structure. The syntax of a language is governed by the constructs that d...