Types and Co-Types in Timor

By: J. Leslie Keedy, Gisela Menger, Christian Heinlein

Abstract

About forty years ago Doug McIlroy wrote a widely quoted paper in which he advocated that software should be built in terms of small units which can have many different implementations. He envisaged that in this way software companies could compete in providing small components and that these components could be built into many different systems. This vision (which in our view differs substantially from that of those who see components as larger structures) is shared by the designers of Timor, and we see the way forward as being realized in an object oriented style, with the help of the information hiding principle, proposed at about the same time by David Parnas.

Cite as:

J. Leslie Keedy, Gisela Menger, Christian Heinlein, “Types and Co-Types in Timor”, Journal of Object Technology, Volume 8, no. 7 (November 2009), pp. 39-58, doi:10.5381/jot.2009.8.7.c4.