Concepts in Programming Languages

Part I. Functions and Foundations: 1. Introduction

2. Computability

3. Lisp: functi...

Part I. Functions and Foundations: 1. Introduction

2. Computability

3. Lisp: functions, recursion and lists

4. Fundamentals

Part II. Procedures, Types, Memory Management and Control: 5. The Algol family and ML

6. Type systems and type inference

7. Scope, functions and storage management

8. Control in sequential languages

Part III. Modularity, Abstraction and Object-Oriented Programming: 9. Data abstraction and modularity

10. Concepts in object-oriented languages

11. History of objects: simula and smalltalk

12. Objects and run-time efficiency: C++

13. Portability and safety: Java

Part IV. Concurrency and Logic Programming: 14. Concurrent and distributed programming

15. The logic programming paradigm and prolog by Krzysztof Apt

Appendix: additional programming examples

Glossary.