References
- 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
http://www.research.digital.com/SRC/staff/luca/bib.html.
- 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
http://pauillac.inria.fr/~remy/publications.html.