F^&_<=: integrating parametric and "ad hoc" second order polymorphism.

@inproceedings{DBLP:conf/dbpl/Castagna93,
  author    = {Giuseppe Castagna},
  editor    = {Catriel Beeri and
               Atsushi Ohori and
               Dennis Shasha},
  title     = {F$^{\mbox{{\&}}}$$_{\mbox{$<$=}}$: integrating parametric and "ad hoc" second order polymorphism},
  booktitle = {Database Programming Languages (DBPL-4), Proceedings of the Fourth
               International Workshop on Database Programming Languages - Object
               Models and Languages, Manhattan, New York City, USA, 30 August
               - 1 September 1993},
  publisher = {Springer},
  series    = {Workshops in Computing},
  year      = {1993},
  isbn      = {3-540-19853-9},
  pages     = {338-358},
  ee        = {db/conf/dbpl/Castagna93.html},
  crossref  = {DBLP:conf/dbpl/93},
  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

[AGOO88]

...

[App92]

...

[BDe92]

François Bancilhon, Claude Delobel, Paris C. Kanellakis (Eds.): Building an Object-Oriented Database System, The Story of O2. Morgan Kaufmann 1992, ISBN 1-55860-169-4
Contents BibTeX

[Bru92]

...

[BTCGS91]

Val Tannen, Thierry Coquand, Carl A. Gunter, Andre Scedrov: Inheritance as Implicit Coercion. Inf. Comput. 93(1): 172-221(1991) BibTeX

[Car88]

Luca Cardelli: A Semantics of Multiple Inheritance. Inf. Comput. 76(2/3): 138-164(1988) BibTeX

[Car92]

...

[Cas93]

Giuseppe Castagna: A Meta-Language for Typed Object-Oriented Languages. FSTTCS 1993: 52-71 BibTeX

[CCH+89]

Peter S. Canning, William R. Cook, Walter L. Hill, Walter G. Olthoff, John C. Mitchell: F-Bounded Polymorphism for Object-Oriented Programming. FPCA 1989: 273-280 BibTeX

[CG92]

Pierre-Louis Curien, Giorgio Ghelli: Coherence of Subsumption, Minimum Typing and Type-Checking in F_<=. Mathematical Structures in Computer Science 2(1): 55-91(1992) BibTeX

[CGL92]

Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo: A Calculus for Overloaded Functions with Subtyping. LISP and Functional Programming 1992: 182-192 BibTeX

[CGL93]

Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo: A Semantics for Lambda&-early: A Calculus with Overloading and Early Binding. TLCA 1993: 107-123 BibTeX

[CHC90]

William R. Cook, Walter L. Hill, Peter S. Canning: Inheritance Is Not Subtyping. POPL 1990: 125-135 BibTeX

[CL91]

Luca Cardelli, Giuseppe Longo: A Semantic Basis for Quest. J. Funct. Program. 1(4): 417-458(1991) BibTeX

[CMMS91]

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

[CW85]

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

[DG87]

Linda G. DeMichiel, Richard P. Gabriel: The Common Lisp Object System: An Overview. ECOOP 1987: 151-170 BibTeX

[Ghe90]

...

[Ghe91]

Giorgio Ghelli: A Static Type System for Message Passing. OOPSLA 1991: 129-145 BibTeX

[GM93]

...

[Hin64]

...

[Mey88]

Bertrand Meyer: Object-Oriented Software Construction, 2nd Edition. Prentice-Hall 1997, ISBN 0-13-629155-4
Contents BibTeX

[New42]

...

[NeX91]

...

[Ont]

...

[Pie93]

Benjamin C. Pierce: Bounded Quantification is Undecidable. POPL 1992: 305-315 BibTeX

[PT93]

Benjamin C. Pierce, David N. Turner: Simple Type-Theoretic Foundations for Object-Oriented Programming. J. Funct. Program. 4(2): 207-247(1994) BibTeX

[Ros73]

Barry K. Rosen: Tree-Manipulating Systems and Church-Rosser Theorems. J. ACM 20(1): 160-187(1973) BibTeX

[Str67]

...

[Wan87]

Mitchell Wand: Complete Type Inference for Simple Objects. LICS 1987: 37-44 BibTeX