Object-Oriented Type Systems

by Jens Palsberg and Michael I. Schwartzbach

Book Overview

Object-Oriented Type Systems Jens Palsberg and Michael I. Schwartzbach Aarhus University, Denmark Type systems are required to ensure reliability and efficiency of software. For object-oriented... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 047194128X
• ISBN13: 9780471941286
• Release Date: January 1994
• Publisher: Wiley
• Length: 192 Pages
• Weight: 1.10 lbs.
• Dimensions: 9.3" x 0.7" x 6.2"

Customer Reviews

Good techniques, well written.

The best (and possibly only) book I've seen on the topic. I very much liked their approach of starting with a simplified language and adding the necessary features. The algorithms are useful, well presented, and their assumptions are laid out clearly.