An Introduction to Data Types

This is a book which explores programming language issues, both design, implementation, and specification. It does not discuss data structure issues, algorithms, performance tradeoffs, etc. although it discusses some novel data structures such as procedural data structures .