TypeSystems

• TypeInference

Object-Oriented Type Systems, Palsberg & Schwartzbach, Wiley, 1994, ISBN 0 471 94128 X

Typing in object-oriented languages http://www.cs.williams.edu/~kim/README.html

OO Type Rheory: http://cuiwww.unige.ch/OSG/research/Hop/types.html

Page last edited July 25, 2002

This is the archived old version of my website. The new website can be found here