A view on abstract and extensible types.

(1)

REVISTA COLOMBIANA DE COMPUTACIÓN Volumen 3, número 1 Págs. 21-40

� ��

�

��

�

_{�� }

� ��

�

��

�� _{�� } �_{�� }_{�� } ����  �_{�� }_{�� } �� 

(2)

��

(3)

��

(4)

(5)

�� _{� � �} ��  �� �� �� � � �� � ��  � ��  �� �� ��  �� ��  �� � � � � � �� � � � � � � �� � ��� � � �� �� � � �� �� �� � � � �����  � � � �� ����� �� _{� � �}� � � � �� �� �� _{� �� }� _{� �� } � ��  �� � ��  _{� � �}� �� �� _{� �}�_{� �� } �� _��_{�� } �� � � �� � �� ���� � � � � �� �� � � � � �� �� � � � � �� ���  �� Abstract type Representation type abstraction function ��

(6)

��

�� ��  �� �� � � �� � � � � � �� � ��  �� � �� � � � � � �� � �� � � ��� � � � � �� � �� _{�� } ��  _{�� }� ��  _{�� } �� _{� �� } �� ��  _{�� }�_{�� } ��

(7)

��

(8)

�� ��  �� � �� 

(9)

��

(10)

�� � � � � � � � �� ��  ��

(11)

�� ��  � � �� _{�� } �� � �� 

(12)

�� ��  ��  �� _{�� }_{� ��} � �� � ��  �� � ��  �� � �� 

A view on abstract and extensible types.

� ���� �� �������� ��� ���������� �����

�

�������� ����������

������ ��������

�

������������

���

�������� ����� �� ������ ���������� ����������� ���������

���

�������� ������ ��������

���

���������

� ��

��

_{�� }

��

��

��

��

��

��

��