References

1

P. A. Bailes. The hierachical development of a generic type mechanism for functional languages. Computer Languages, 15(1):1-26, 1990.

2

L. Cardelli and P. Wegner. On understanding types, data abstraction, and polymorphism. ACM Comput. Surv., 17(4):471-522, Dec. 1985.

3

C. Chambers and D. Ungar. Customization: Optimizing compiler technology for SELF, a dynamically-typed object-oriented programming language. SIGPLAN Notices, 24(7):146-160, July 1989.

4

O. J. Dahl, C. A. R. Hoare, and E. W. Dijkstra. Structured Programming. Academic Press, 1972.

5

R. E. Griswold and M. T. Griswold. The Icon programming language. Prentice-Hall, 1983.

6

W. Kent. Limitations of record-based information models. ACM Trans. Database Syst., 4(1):107-131, March 1979.

7

J. C. Mitchell and G. D. Plotkin. Abstract types have existential type. ACM Trans. Prog. Lang. Syst., 10(3):470-502, July 1988.

8

J. Morris. Types are not sets. In ACM Symposium on Principles of Programming Languages, pages 120-124, New York, 1973. ACM.

9

J. T. Schwartz, R. B. K. Dewar, E. Dubinsky, and E. Schonberg. Programming with sets. Springer-Verlag, 1986.

10

D. Shipman. The functional data model and the data language DAPLEX. ACM Trans. Database Syst., 6(1):149-173, March 1981.

11

B. H. Venter. The programming language slim. Computer Science Technical Report CS-Venter89a, University of Fort Hare, Private Bag X1314, Alice, Ciskei, 1989.

12

B. H. Venter. Data structuring via functions. South African Computer Journal, 1(2):45-50, May 1990.

13

N. Wirth. Type extensions. ACM Trans. Prog. Lang. Syst., 10(2):204-214, April 1988.