Foundations of Object-Oriented Languages 1994

This page collects references to written accounts of work presented at the Workshop Foundations of Object-Oriented Languages, Paris, July 1994. For work that was not yet published, pointers are given to technical reports and preprints.

The report on the workshop, by Giuseppe Castagna and Gary T. Leavens, was published in ACM SIGPLAN Notices, volume 30, number 2, pages 5-11 (February 1995). You can also get it on-line as Department of Computer Science, Iowa State University, TR #94-22, November 1994 (Iowa State TR archives).

Also available on-line is the BibTeX source for all the references from the workshop report, including those that were not directly the subject of a talk.

There is also now a paper on binary methods that emerged from the workshop. This paper was published in Theory and Practice of Object Systems 1(3):221-242, 1995.

Written Accounts of Work Presented at the Workshop

• Martín Abadi and Luca Cardelli. An Imperative Object Calculus. A draft was once available at http://www.research.digital.com/SRC/personal/Luca_Cardelli/Papers/PrimObjImp.ps.Z, however it appears this paper was later published in Theory and Practice of Object Systems, 1(3):151-166, 1995 (available from Cardelli's home page)..
• Martín Abadi and Luca Cardelli. A theory of primitive objects: second-order systems. In D. Sannella, editor, Proc. of European Symposium on Programming, volume 788 of Lecture Notes in Computer Science, pages 1-25, New York, NY, 1994. Springer Verlag.
• Martín Abadi and Luca Cardelli. A semantics of object types. In Ninth Annual IEEE Symposium on Logic in Computer Science, Paris, France, pages 332-341, Los Alamitos, CA, July 1994. IEEE.
• Martín Abadi and Luca Cardelli. A theory of primitive objects -- untyped and first-order systems. In Masami Hagiya and John C. Mitchell, editors, Theoretical Aspects of Computer Software, volume 789 of Lecture Notes in Computer Science, pages 296-320. Springer-Verlag, New York, NY, April 1994.
• Serge Abiteboul, Paris C. Kanellakis, and Emmanuel Waller. Method schemas (preliminary report). In Principles of Data Base Systems, Nashville, pages 16-27. ACM, 1990.
• Kim B. Bruce. A paradigmatic object-oriented programming language: Design, static typing and semantics. Journal of Functional Programming, 4(2):127-206, April 1994.
• Kim B. Bruce, Angela Schuett, and Robert van Gent. A type-safe polymorphic object-oriented language. Originally available by anonymous ftp from cs.williams.edu in pub/kim/PolyTOIL.dvi, July 1994. It appears a later version was published as "PolyTOIL: A type-safe polymorphic object-oriented language" in ECOOP '95 Proceedings, LNCS 952, Springer-Verlag, pp. 27-51. The final version appears in ACM TOPLAS, Vol. 25, No 2, March 2003, pp. 225-290.
• Giuseppe Castagna. Covariance and contravariance: conflict without a cause. ACM TOPLAS, 17(3):431-447, 1995.
• Craig Chambers and Gary T. Leavens. Typechecking and modules for multi-methods. In OOPSLA '94 Conference Proceedings, Portland, Oregon., volume 29 of ACM SIGPLAN Notices, pages 1-15. ACM, October 1994.
• Jonathan Eifrig, Scott Smith, Valery Trifonov, and Amy Zwarico. Application of oop type theory: State, decidability, integration. In OOPSLA '94 Conference Proceedings, Portland, Oregon, volume 29 of ACM SIGPLAN Notices, pages 16-30. ACM, October 1994.
• Martin Hofmann and Benjamin Pierce. Positive subtyping. Technical Report ECS-LFCS-94-303, Department of Computer Science, University of Edinburgh, Edinburgh, U.K., September 1994. An extended abstract will appear in the POPL'95 proceedings.
• Jens Palsberg and Patrick M. O'Keefe. A type system equivalent to flow analysis. In Conference Record of POPL '95: 22nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Francisco, Calif. ACM, January 1995. To appear. Available from ftp.daimi.aau.dk in file pub/palsberg/papers/popl95.ps.Z.
• B.C. Pierce and D.N. Turner. Simple type-theoretic foundations for object-oriented programming. Journal of Functional Programming, 4(2):207-248, April 1994.
• Didier Rémy. Programming objects with ML-ART: An extension to ML with abstract and record types. In Masami Hagiya and John C. Mitchell, editors, Theoretical Aspects of Computer Software, volume 789 of Lecture Notes in Computer Science, pages 321-346, New York, NY, April 1994. Springer-Verlag.
• Emmanuel Waller. Schema updates and consistency. In C. Delobel, M. Kifer, and Y. Masunaga, editors, Deductive and Object-Oriented Databases, second International Conference, Munich, Germany, volume 566 of Lecture Notes in Computer Science, pages 167-188. Springer-Verlag, New York, NY, December 1991.