At the last workshop, the issue of being able to extend protected types in the same manner as tagged types was discussed. The conclusion was that further consideration was needed before a de nitive proposal could be made. This Position Paper summarises a full proposal and identi es the outstanding issues.
O. P. Kiddle, Andy J. Wellings