1. A Theory of Objects;Abadi,1996
2. A. Aiken, E. Wimmers, Solving systems of set constraints, Proc. IEEE Symp. on Logic in Computer Science, Santa Cruz, CA, June 1992, pp. 329–340.
3. A. Aiken, E. Wimmers, Type inclusion constraints and type inference, Proc. ACM Symp. on Functional Programming and Computer Architecture, Copenhagen, Denmark, June 1993, pp. 31–41.
4. F. Bourdoncle, S. Merz, Type checking higher-order polymorphic multi-methods, Proc. ACM Symp. on Principles of Programming Languages, Paris, France, 1997.
5. Object type constructors, submitted for publication, A preliminary version appeared in the Workshop on Foundations of Object-Oriented Languages;Duggan,1996