Foundations of Object-Oriented Languages: 2nd Workshop report

A report on the workshop Foundations of Object-Oriented Languages, Paris, July 1994.

[1]  Giuseppe Castagna,et al.  Covariance and contravariance: conflict without a cause , 1995, TOPL.

[2]  Luca Cardelli,et al.  Subtyping recursive types , 1991, POPL '91.

[3]  Martín Abadi,et al.  A semantics of object types , 1994, Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.

[4]  Jens Palsberg,et al.  Foundations of Object-Oriented Languages Workshop Report , 1994 .

[5]  Kim B. Bruce.  A paradigmatic object-oriented programming language: Design, static typing and semantics , 1994, Journal of Functional Programming.

[6]  Martín Abadi,et al.  A Theory of Primitive Objects - Untyped and First-Order Systems , 1994, TACS.

[7]  Jens Palsberg,et al.  A type system equivalent to flow analysis , 1995, TOPL.

[8]  John C. Mitchell,et al.  A type system for prototyping languages , 1994, POPL '94.

[9]  Benjamin C. Pierce,et al.  Simple type-theoretic foundations for object-oriented programming , 1994, Journal of Functional Programming.

[10]  Scott F. Smith,et al.  Application of OOP Type Theory: State, Decidability, Integragtion , 1994, OOPSLA.

[11]  Emmanuel Waller,et al.  Schema Updates and Consistency , 1991, DOOD.

[12]  Martin Hofmann,et al.  Positive subtyping , 1995, POPL '95.

[13]  Benjamin C. Pierce,et al.  Statically typed friendly functions via partially abstract types , 1993 .

[14]  Didier Rémy,et al.  Programming Objects with ML-ART, an Extension to ML with Abstract and Record Types , 1994, TACS.

[15]  Gary T. Leavens,et al.  Typechecking and modules for multi-methods , 1994, OOPSLA 1994.

[16]  Martín Abadi,et al.  A Theory of Primitive Objects: Second-Order Systems , 1995, Sci. Comput. Program..

[17]  Craig Chambers,et al.  Object-Oriented Multi-Methods in Cecil , 1992, ECOOP.

[18]  William R. Cook,et al.  Object-Oriented Programming Versus Abstract Data Types , 1990, REX Workshop.

[19]  Martín Abadi,et al.  An Imperative Object Calculus , 1995, TAPSOFT.