AbaCar 96
Abadi, M., and Cardelli, L., A Theory of Objects, Monographs in Computer Science, Springer-Verlag, New York, 1996.
CarMit 91
Cardelli, L., and Mitchell, J.C., ``Operations on Records'', Mathematical Structures in Computer Science, Vol. 1, no. 1, pp 3-48. Also in the collection [GunMit 94]. and can be downloaded from
GunMit 94
Gunter, C.A., and Mitchell, J.C., eds., Theoretical Aspects of Object-Oriented Programming, MIT Press, 1994.
Mit 97
Mitchell, J.C., Foundations for Programming Languages, MIT Press, 1997.
Rem 92
Remy, D., ``Type Inference for Records in a Natural Extension of ML'', in the collection [GunMit 94], pp 67-95. The article can be downloaded from