Wednesday, January 10, 2007


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

No comments: