Theoretical Aspects of Object-Oriented Programming
MIT Press, 1994
Cover design Luca Cardelli.
A collection of articles edited by Carl A. Gunter and John C. Mitchell.
Excerpt from Introduction
Contents
Bibtex entry and Library of Congress cataloging information
Contents, Introduction and Chapter Headings
(postscript file)
Gunter's TAOOP info at U Penn
MIT Press display
