Operating System Support for Inter-Domain Type Checking.

Alex Farkas, Alan Dearle, David Hulse: Operating System Support for Inter-Domain Type Checking. POS 1996: 23-32
  author    = {Alex Farkas and
               Alan Dearle and
               David Hulse},
  title     = {Operating System Support for Inter-Domain Type Checking},
  booktitle = {POS},
  year      = {1996},
  pages     = {23-32},
  ee        = {db/conf/pos/FarkasDH96.html},
  bibsource = {DBLP,}

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 5 Issue 2, JACM, VLDB-J, POS, ..." and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ... BibTeX BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
POS 1985, 1989, 1992, 1994: Copyright © by Springer
POS 1990, 1996, 1998: Copyright © by Morgan-Kaufmann
Digitization of POS proceedings was supported by Monash University/John Rosenberg, Research Council of Norway/Dag I. K. Sjøberg and the Department of Computing Science, University of Glasgow. Gail Mitchell and Graham N. C. Kirby collected papers and permissions for publishing the POS papers in The ACM SIGMOD Anthology.
ACM SIGMOD Anthology: Copyright © by ACM (, Corrections:
DBLP: Copyright © by Michael Ley (, last change: Sat May 16 23:34:41 2009