A New Type-Checker for a Functional Language.

@inproceedings{DBLP:conf/db-workshops/Fairbairn85,
  author    = {Jon Fairbairn},
  editor    = {Malcolm P. Atkinson and
               Peter Buneman and
               Ronald Morrison},
  title     = {A New Type-Checker for a Functional Language},
  booktitle = {Data Types and Persistence. Edited Papers from the Proceedings
               of the First Workshop on Persistent Objects, Appin, Scotland,
               August 1985},
  publisher = {Springer},
  series    = {Topics in Information Systems},
  year      = {1985},
  isbn      = {3-540-18785-5},
  pages     = {69-87},
  ee        = {db/conf/db-workshops/Fairbairn85.html},
  crossref  = {DBLP:conf/pos/1985},
  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/An5-2 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

Referenced by

1. Malcolm P. Atkinson: Questioning Persistent Types. DBPL 1989: 2-24
2. Malcolm P. Atkinson, Peter Buneman: Types and Persistence in Database Programming Languages. ACM Comput. Surv. 19(2): 105-190(1987)
3. Malcolm P. Atkinson, Peter Buneman, Ronald Morrison (Eds.): Data Types and Persistence. Edited Papers from the Proceedings of the First Workshop on Persistent Objects, Appin, Scotland, August 1985. Topics in Information Systems Springer 1988, ISBN 3-540-18785-5
   Contents