Types, Inheritance and Assignments: A collection of position papers from the ECOOP '91 workshop W5 (Geneva, Switzerland, 1991, 15-19 July)

This collection contains the positions of most of the 31 participants at the ECOOP'91 W5 Workshop on ''Types, Inheritance and Assignments''. The workshop was organized in connection with the Fifth Annual European Conference on Object-Oriented Programming, July 15-19 in Geneva, Switzerland. The workshop took place July 16, 9.00-17.30. In addition to the 21 submitted position papers, the collection includes an invited paper by Luca Cardelli. The focus of the workshop is on the premises, results, and aspirations of research in object-oriented type systems.