Questioning Persistent Types.

@inproceedings{DBLP:conf/dbpl/Atkinson89,
  author    = {Malcolm P. Atkinson},
  editor    = {Richard Hull and
               Ronald Morrison and
               David W. Stemple},
  title     = {Questioning Persistent Types},
  booktitle = {Proceedings of the Second International Workshop on Database
               Programming Languages, 4-8 June, 1989, Salishan Lodge, Gleneden
               Beach, Oregon},
  publisher = {Morgan Kaufmann},
  year      = {1989},
  isbn      = {1-55860-072-8},
  pages     = {2-24},
  ee        = {db/conf/dbpl/Atkinson89.html},
  crossref  = {DBLP:conf/dbpl/89},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

ACM SIGMOD Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An2-5 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD1 or /dvd

References

[AB87]

Malcolm P. Atkinson, Peter Buneman: Types and Persistence in Database Programming Languages. ACM Comput. Surv. 19(2): 105-190(1987)

[ABC+83]

Malcolm P. Atkinson, Peter J. Bailey, Kenneth Chisholm, W. Paul Cockshott, Ronald Morrison: An Approach to Persistent Programming. Comput. J. 26(4): 360-365(1983)

[ABM88a]

Malcolm P. Atkinson, Peter Buneman, Ronald Morrison: Binding and Type Checking in Database Programming Languages. Comput. J. 31(2): 99-109(1988)

[ABM88b]

Malcolm P. Atkinson, Peter Buneman, Ronald Morrison (Eds.): Data Types and Persistence, Book resulting from the Appin Workshop August 1985. Topics in Information Systems Springer 1988, ISBN 3-540-18785-5
Contents

[ACC81]

...

[ACC83a]

Malcolm P. Atkinson, Kenneth Chisholm, W. Paul Cockshott, Richard Marshall: Algorithms for a Persistent Heap. Softw., Pract. Exper. 13(3): 259-271(1983)

[ACC83b]

Malcolm P. Atkinson, Kenneth Chisholm, W. Paul Cockshott: CMS-A Chunk Management System. Softw., Pract. Exper. 13(3): 273-293(1983)

[ACO+85]

Antonio Albano, Luca Cardelli, Renzo Orsini: Galileo: A Strongly-Typed, Interactive Conceptual Language. ACM Trans. Database Syst. 10(2): 230-260(1985)

[ADG+89]

Antonio Albano, Alan Dearle, Giorgio Ghelli, Chris D. Marlin, Ronald Morrison, Renzo Orsini, David W. Stemple: A Framework for Comparing Type Systems for Database Programming Languages. DBPL 1989: 170-178

[AGO+85]

Antonio Albano, Fosca Giannotti, Renzo Orsini, Dino Pedreschi: The Type System of Galileo. Data Types and Persistence (Appin) 1985: 101-119

[AGO89]

Antonio Albano, Giorgio Ghelli, Renzo Orsini: Types for Databases: The Galileo Experience. DBPL 1989: 196-206

[AHP+89]

...

[Ait85]

Hassan Aït-Kaci, Roger Nasr: Integrating Data Type Inheritance into Logic Programming. Data Types and Persistence (Appin) 1985: 121-136

[AM87b]

Malcolm P. Atkinson, Ronald Morrison: Polymorphic Names and Iterations. DBPL 1987: 241-256

[AM85b]

Malcolm P. Atkinson, Ronald Morrison: Types, Bindings and Parameters in a Persistent Environment. Data Types and Persistence (Appin) 1985: 3-20

[AM87]

...

[Atk78]

Malcolm P. Atkinson: Programming Languages and Databases. VLDB 1978: 408-419

[Atk89]

Malcolm P. Atkinson, Ronald Morrison: Persistent Systems Architectures. POS 1989: 73-97

[BA86]

Peter Buneman, Malcolm P. Atkinson: Inheritance and Persistence in Database Programming Languages. SIGMOD Conference 1986: 4-15

[BBO89]

Val Tannen, Peter Buneman, Atsushi Ohori: Can Object-Oriented Databases be Statically Typed? DBPL 1989: 226-237

[BC85]

...

[BC87]

...

[BFS87]

...

[BFS87a]

Deborah A. Baker, David A. Fisher, Jonathan C. Shultis: A Practical Language to Provide Persistence and a rich Typing System. DBPL 1987: 295-309

[BO89]

...

[BO89x]

Atsushi Ohori, Peter Buneman, Val Tannen: Database Programming in Machiavelli - a Polymorphic Language with Static Type Inference. SIGMOD Conference 1989: 46-57

[Bro89]

...

[Bun85]

Peter Buneman: Data Types For Database Programming. Data Types and Persistence (Appin) 1985: 91-100

[BW87]

Kim B. Bruce, Peter Wegner: An Algebraic Model of Subtype and Inheritance. DBPL 1987: 75-96

[CAD+87]

Richard Cooper, Malcolm P. Atkinson, Alan Dearle, D. Abderrahmane: Constructing Database Systems in a Persistent Environment. VLDB 1987: 117-125

[Car84]

...

[Car85]

...

[Car88]

Luca Cardelli: Types for Data-Oriented Languages. EDBT 1988: 1-15

[CM85]

Luca Cardelli, David B. MacQueen: Persistence and Type Abstraction. Data Types and Persistence (Appin) 1985: 31-41

[CM88]

...

[Coo89]

...

[CW85]

Luca Cardelli, Peter Wegner: On Understanding Types, Data Abstraction, and Polymorphism. ACM Comput. Surv. 17(4): 471-522(1985)

[DB87]

Alan Dearle, Alfred L. Brown: Safe Browsing in a Strongly Typed Persistent Environment. Comput. J. 31(6): 540-544(1988)

[DCB+89]

Alan Dearle, Richard C. H. Connor, Fred Brown, Ronald Morrison: Napier88 - A Database Programming Language? DBPL 1989: 179-195

[DD79]

...

[Dea89]

...

[Fai85]

Jon Fairbairn: A New Type-Checker for a Functional Language. Data Types and Persistence (Appin) 1985: 69-87

[FSS89]

Leonidas Fegaras, Tim Sheard, David W. Stemple: The ADABTPL Type System. DBPL 1989: 207-218

[Ghe89]

...

[Har85]

Robert Harper: Modules and Persistence in Standard ML. Data Types and Persistence (Appin) 1985: 21-30

[HS89a]

A. John Hurst, A. S. M. Sajeev: A Capability Based Language for Persistent Programming: Implementation Issues. POS 1989: 109-125

[HS89b]

Richard Hull, Jianwen Su: On Bulk Data type Constructors and Manipulation Primitives: A Framework for Analyzing Power and Complexity. DBPL 1989: 396-410

[IBH+]

...

[Jac89]

Dean Jacobs: A Type System for Algebraic Database Programming Languages. DBPL 1989: 238-247

[KR89]

...

[LZ74]

Barbara Liskov, Stephen N. Zilles: Programming with Abstract Data Types. SIGPLAN Notices 9(4): 50-59(1974)

[Mat87a]

...

[Mat87b]

David C. J. Matthews: Static and Dynamic Type Checking. DBPL 1987: 67-73

[MBC+89]

...

[MD89]

...

[Mi78]

Robin Milner: A Theory of Type Polymorphism in Programming. J. Comput. Syst. Sci. 17(3): 348-375(1978)

[Mil84]

Robin Milner: A Proposal for Standard ML. LISP and Functional Programming 1984: 184-197

[Mor79]

...

[Mor89]

Ronald Morrison, Alfred L. Brown, Raymund Carrick, Richard C. H. Connor, Alan Dearle, Malcolm P. Atkinson: The Napier Type System. POS 1989: 3-18

[MP85]

John C. Mitchell, Gordon D. Plotkin: Abstract Types Have Existential Type. POPL 1985: 37-51

[MPS84]

David B. MacQueen, Gordon D. Plotkin, Ravi Sethi: An Ideal Model for Recursive Polymorphic Types. POPL 1984: 165-174

[MS89]

Florian Matthes, Joachim W. Schmidt: The Type System of DBPL. DBPL 1989: 219-225

[Nik84]

...

[Nip85]

...

[Oho87]

Atsushi Ohori: Orderings and Types in Databases. DBPL 1987: 97-116

[Owo84]

...

[Owo85]

...

[Pow89]

Malcolm S. Powell: A Program Development Environment Based on Persistence and Abstract Data Types. POS 1989: 29-44

[Sch77]

Joachim W. Schmidt: Some High Level Language Constructs for Data of Type Relation. ACM Trans. Database Syst. 2(3): 247-261(1977)

[SFL83]

...

[Shi81]

David W. Shipman: The Functional Data Model and the Data Language DAPLEX. ACM Trans. Database Syst. 6(1): 140-173(1981)

[SS87]

David W. Stemple, Tim Sheard: Construction and Calculus of Types for Database Systems. DBPL 1987: 3-22

[Ste81]

...

[Ten81]

...

[Wei85]

William E. Weihl: Linguistic Support for Atomic Data Types. Data Types and Persistence (Appin) 1985: 191-212

[WZ89]

Peter Wegner, Stanley B. Zdonik: Models of Inheritance. DBPL 1989: 248-255

[Zdo87]

Stanley B. Zdonik: Object-Oriented Type Evolution. DBPL 1987: 277-288

[Zdo89]

...