The Napier Type System

Persistent programming is concerned with the construction of large and long lived systems of data. In designing and building persistent object systems, we are attempting to regularise the activities that are performed on data by programming languages, operating systems, database management systems and file systems. We have identified the following areas of research which we are investigating in the context of persistent systems. They are: controlling complexity, protection of data, orthogonal persistence, controlled system evolution and concurrent computation.

[1]  Luca Cardelli,et al.  A Semantics of Multiple Inheritance , 1984, Inf. Comput..

[2]  Ronald Morrison,et al.  An Approach to Persistent Programming , 1989, Comput. J..

[3]  Ronald Morrison,et al.  Adaptive Data Stores , 1988, Australian Joint Conference on Artificial Intelligence.

[4]  R. F. Kamel,et al.  Remote rendezvous , 1987, Softw. Pract. Exp..

[5]  Luca Cardelli,et al.  On understanding types, data abstraction, and polymorphism , 1985, CSUR.

[6]  Edsger W. Dijkstra,et al.  The structure of the “THE”-multiprogramming system , 1968, CACM.

[7]  Joachim W. Schmidt,et al.  Some high-level language constructs for data of type relation , 1977, SIGMOD '77.

[8]  Richard C. H. Connor,et al.  Polymorphism, persistence and software re-use in a strongly typed object-oriented environment , 1987, Softw. Eng. J..

[9]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[10]  Ronald Morrison,et al.  On the development of Algol , 1979 .

[11]  David C. J. Matthews,et al.  Poly manual , 1985, SIGP.

[12]  Alan Dearle.  Environments: a flexible binding mechanism to support system evolution , 1989, [1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume II: Software Track.

[13]  G. Lawrence Krablin.  Building Flexible Multilevel Transactions in a Distributed Persistent Environment , 1985, Data Types and Persistence , Informal Proceedings.

[14]  Ronald Morrison,et al.  Binding and Type Checking in Database Programming Languages , 1988, Comput. J..

[15]  Robin Milner,et al.  A Theory of Type Polymorphism in Programming , 1978, J. Comput. Syst. Sci..

[16]  Alan Dearle,et al.  Safe Browsing in a Strongly Typed Persistent Environment , 1988, Comput. J..

[17]  Richard C. H. Connor,et al.  On the Integration of Object-Oriented and Process-Oriented Computation in Persistent Environments , 1988, OODBS.

[18]  Juris Hartmanis,et al.  The Programming Language Ada , 1983, Lecture Notes in Computer Science.

[19]  John C. Mitchell,et al.  Abstract types have existential types , 1985, POPL.

[20]  Ronald Morrison,et al.  Polymorphic Names, Types, Constancy and Magic in a Type Secure Persistent Object Store , 1987, POS.

[21]  Ronald Morrison,et al.  Designing a Persistent Information Space Architecture , 1986, IFIP Congress.

[22]  Ronald Morrison,et al.  On the Implementation of Constants , 1979, Inf. Process. Lett..

[23]  John C. Mitchell,et al.  Abstract types have existential type , 1988, TOPL.

[24]  Ronald Morrison,et al.  Types, Bindings and Parameters in a Persistent Environment , 1988, Data Types and Persistence , Informal Proceedings.

[25]  Marek Fridrich,et al.  HELIX: The Architecture of a Distributed File System , 1984, ICDCS.

[26]  S. J. Young,et al.  The programming language ADA reference manual: Springer-Verlag (1981) pp 243, $7.90, DM 16.50 , 1982, Microprocess. Microsystems.

[27]  Robin Milner,et al.  A proposal for standard ML , 1984, LFP '84.