palsberg@daimi.aau.dk (Jens Palsberg J|rgensen) (05/30/91)
Call for Participation: ECOOP'91 Workshop
ECOOP'91 will be the fifth annual European Conference on
Object-Oriented Programming.
At the second day of the conference, the following workshop will take place.
Please note that separate registrations to the conference and the
workshop are required.
Types, Inheritance, and Assignments
Date: Tuesday, July 16, 1991, 9.00--17.30.
Place: Geneva, Switzerland.
Organizers: Jens Palsberg, Michael Schwartzbach.
Who should attend: Researchers interested in object-oriented type systems.
Topic: The type theory of object-oriented programming is advancing rapidly.
Types are required to ensure reliability and efficiency of software,
and the presence of inheritance and assignments in object-oriented
languages makes typing a challenging problem.
This has led to a profusion of approaches, each giving important
but often incompatible contributions to the theory.
The workshop will seek to relate these approaches,
clarify state-of-the-art, and point to major unsolved problems.
We will focus on the following five questions:
What are appropriate models of classes, types, subclassing, and subtyping?
How can updates be typed without loss of type information?
To what extent are type systems for functional languages adequate?
Should classes and types be different?
How can type inference be accomplished?
How to apply: Participants must register
with the workshop organizers before June 3 1991, and they are at the
same time invited to submit a position paper.
The paper should address some of the above questions and
must be limited to two pages.
Registrations should, if possible, include the author's electronic mail
address; if a position paper is submitted, then
LaTeX by electronic mail is preferred.
If necessary, selection of participants will be made on basis
of the position papers; notification will be given by June 14.
Accepted position papers will be distributed to all participants
on July 1.
Note: A selection of position papers will be submitted for publication
in ACM OOPS Messenger.
Address of organizers:
Department of Computer Science Telephone: +45 8612 7188
Aarhus University Telefax: +45 8613 5725
Ny Munkegade Internet: mis@daimi.aau.dk
DK-8000 Aarhus C
Denmark
--
Jens Palsberg
Computer Science Department, Aarhus University,
Ny Munkegade, DK-8000 Aarhus C, Denmark
phone: +45 8612 7188, fax: +45 8613 5725