A Pure Calculus of Subtyping, and Applications (Outline).

@inproceedings{DBLP:conf/dbpl/Cardelli91,
  author    = {Luca Cardelli},
  editor    = {Paris C. Kanellakis and
               Joachim W. Schmidt},
  title     = {A Pure Calculus of Subtyping, and Applications (Outline)},
  booktitle = {Database Programming Languages: Bulk Types and Persistent Data.
               3rd International Workshop, August 27-30, 1991, Nafplion, Greece,
               Proceedings},
  publisher = {Morgan Kaufmann},
  year      = {1991},
  isbn      = {1-55860-242-9},
  pages     = {185-187},
  ee        = {db/conf/dbpl/Cardelli91.html},
  crossref  = {DBLP:conf/dbpl/91},
  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

[Cardelli Martini Mitchell Scedrov 91]

Luca Cardelli, Simone Martini, John C. Mitchell, Andre Scedrov: An Extension of System F with Subtyping. TACS 1991: 750-770 BibTeX

[Cardelli 91]

...

Referenced by

1. Bennet Vance: An Abstract Object-Oriented Query Execution Language. DBPL 1993: 176-199