POS-1 1985: Appin, Scotland

• Malcolm P. Atkinson, Peter Buneman, Ronald Morrison:
  Preface.
  Electronic Edition BibTeX
• Malcolm P. Atkinson, Ronald Morrison:
  Types, Bindings and Parameters in a Persistent Environment. 1-24
  Electronic Edition BibTeX
• Cliff B. Jones, T. N. Nipkow, Mario Wolczko:
  MDB: A Graph-Like Persistent Database. 25-34
  Electronic Edition BibTeX
• T. H. Merrett:
  Persistence and Aldat. 35-48
  Electronic Edition BibTeX
• K. T. Sridhar, C. A. R. Hoare:
  JSD Expressed in CSP. 49-82
  Electronic Edition BibTeX
• G. Lawrence Krablin:
  Building Flexible Multilevel Transactions in a Distributed Persistent Environment. 83-105
  Electronic Edition BibTeX
• Jon Fairbairn:
  A New Type-Checker for a Functional Language. 107-123
  Electronic Edition BibTeX
• Malcolm S. Powell:
  Adding Programming Facilities to an Abstract Data Store. 125-144
  Electronic Edition BibTeX
• William E. Weihl:
  Linguistic Support for Atomic Data Types. 145-173
  Electronic Edition BibTeX
• Antonio Albano, Fosca Giannotti, Renzo Orsini, Dino Pedreschi:
  The Type System of Galileo. 175-195
  Electronic Edition BibTeX
• Antonio Albano, Giorgio Ghelli, Renzo Orsini:
  The Implementation of Galileo's Persistent Values. 197-208
  Electronic Edition BibTeX
• R. B. Jones:
  An Architecture for Personal Knowledge Management. 209-219
  Electronic Edition BibTeX
• Luca Cardelli, David B. MacQueen:
  Persistence and Type Abstraction. 221-230
  Electronic Edition BibTeX
• Stanley B. Zdonik, Peter Wegner:
  A Database Approach to Languages, Libraries and Environments. 231-254
  Electronic Edition BibTeX
• David C. J. Matthews:
  An Overview of the Poly Programming Language. 255-263
  Electronic Edition BibTeX
• Alexander Borgida:
  Accomodating Exceptions to (Type) Constraints in Information Systems - a position paper. 265-271
  Electronic Edition BibTeX
• Antony J. T. Davie:
  Conditional Declarations and Pattern Matching. 273-275
  Electronic Edition BibTeX
• Christopher L. F. Haynes:
  Data Privacy in a Persistent Environment. 277-281
  Electronic Edition BibTeX
• Christopher L. F. Haynes:
  The Exploitation of Persistence. 283
  Electronic Edition BibTeX
• Peter Buneman:
  Data Types For Data Base Programming. 285-298
  Electronic Edition BibTeX
• Rishiyur S. Nikhil:
  Functional Databases, Functional Languages. 299-313
  Electronic Edition BibTeX
• James E. Donahue:
  Integrating Programming Languages with Database Systems. 315-324
  Electronic Edition BibTeX
• Ian F. Currie:
  Fileestore and Modes in Flex. 325-334
  Electronic Edition BibTeX
• Peter M. D. Gray, David S. Moffat, J. B. H. du Boulay:
  Persistent Prolog: A Secondary Storage Manager for Prolog. 335-351
  Electronic Edition BibTeX
• W. Paul Cockshott:
  Addressing Mechanisms and Persistent Programming. 353-384
  Electronic Edition BibTeX
• Hassan Aït-Kaci:
  Integrating Data Type Inheritance into Logic Programming. 385-388
  Electronic Edition BibTeX