PROGRAMMING

Concepts, Techniques, and Models of Computer Programming
Logic, Programming and Prolog, 2nd Edition
Type Theory and Functional Programming
Functional Programming and Parallel Graph Rewriting
Implementing Functional Languages: A Tutorial
How to Design Programs
Programming Languages
Programming in Martin-Löf's Type Theory
Object Oriented Programming
Programming from Specifications
Working with Objects
Object-Oriented System Development
Structure & Interpretation of Computer Programs
Dictionary of Programming Languages
Designing and Building Parallel Programs
Principles of Programming Languages
Introduction to Programming Languages
Patterns for Adaptive Programming (AP)
Advanced Programming Language Design