Constrained Matching is Type Safe.

@inproceedings{DBLP:conf/dbpl/Alagic97,
  author    = {Suad Alagic},
  editor    = {Sophie Cluet and
               Richard Hull},
  title     = {Constrained Matching is Type Safe},
  booktitle = {Database Programming Languages, 6th International Workshop, DBPL-6,
               Estes Park, Colorado, USA, August 18-20, 1997, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1369},
  year      = {1997},
  isbn      = {3-540-64823-2},
  pages     = {78-96},
  ee        = {db/conf/dbpl/Alagic97.html},
  crossref  = {DBLP:conf/dbpl/97},
  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

[AM87]

Martín Abadi, Zohar Manna: Temporal Logic Programming. SLP 1987: 4-16 BibTeX

[AC96]

Martín Abadi, Luca Cardelli: On Subtyping and Matching. ECOOP 1995: 145-167 BibTeX

[Ala97a]

Suad Alagic: A Temporal Constraint System for Object-Oriented Databases. CDB 1997: 208-218 BibTeX

[Ala97b]

Suad Alagic: The ODMG Object Model: Does it Make Sense? OOPSLA 1997: 253-270 BibTeX

[AA97]

Suad Alagic, Mara Alagic: Order-Sorted Model Theory for Temporal Executable Specifications. Theor. Comput. Sci. 179(1-2): 273-299(1997) BibTeX

[Ala95]

...

[ASB94]

Suad Alagic, Rajshekhar Sunderraman, Rajiv Bagai: Declarative Object-Oriented Programming: Inheritance, Subtyping and Prototyping. ECOOP 1994: 236-259 BibTeX

[Ala94]

Suad Alagic: F-Bounded Polymorphism for Database Programming Languages. East/West Database Workshop 1994: 125-137 BibTeX

[AM95]

Malcolm P. Atkinson, Ronald Morrison: Orthogonally Persistent Object Systems. VLDB J. 4(3): 319-401(1995) BibTeX

[BDK92]

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

[Bau92]

...

[Bru93]

Kim B. Bruce: Safe Type Checking in a Statically-Typed Object-Oriented Programming Language. POPL 1993: 285-298 BibTeX

[BCM93]

Kim B. Bruce, Jonathan Crabtree, Thomas P. Murtagh, Robert van Gent, Allyn Dimock, Robert Muller: Safe and Decidable Type Checking in an Object-Oriented Language. OOPSLA 1993: 29-46 BibTeX

[BSG95]

Kim B. Bruce, Angela Schuett, Robert van Gent: PolyTOIL: A Type-Safe Polymorphic Object-Oriented Language. ECOOP 1995: 27-51 BibTeX

[BC96]

John Boyland, Giuseppe Castagna: Type-Safe Compilation of Covariant Specialization: A Practical Case. ECOOP 1996: 3-25 BibTeX

[Cas95]

Giuseppe Castagna: Covariance and Contravariance: Conflict without a Cause. ACM Trans. Program. Lang. Syst. 17(3): 431-447(1995) BibTeX

[CCH89]

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

[CHC90]

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

[Coo89]

W. R. Cook: A Proposal for Making Eiffel Type-Safe. Comput. J. 32(4): 305-311(1989) BibTeX

[GM96]

Andreas Gawecki, Florian Matthes: Integrating Subtyping, Matching and Type Quantification: A Practical Perspective. ECOOP 1996: 26-47 BibTeX

[Gog91]

...

[GM87]

Joseph A. Goguen, José Meseguer: Unifying Functional, Object-Oriented and Relational Programming with Logical Semantics. Research Directions in Object-Oriented Programming 1987: 417-478 BibTeX

[Fis94]

...

[FM94]

...

[KLW93]

Michael Kifer, Georg Lausen, James Wu: Logical Foundations of Object-Oriented and Frame-Based Languages. J. ACM 42(4): 741-843(1995) BibTeX

[Kro87]

...

[LW94]

Barbara Liskov, Jeannette M. Wing: A Behavioral Notion of Subtyping. ACM Trans. Program. Lang. Syst. 16(6): 1811-1841(1994) BibTeX

[Mes93]

José Meseguer: Solving the Inheritance Anomaly in Concurrent Object-Oriented Programming. ECOOP 1993: 220-246 BibTeX

[Mey92]

...

[Wjs94]

Roel Wieringa, Wiebren de Jonge, Paul Spruit: Roles and Dynamic Subclasses: A Modal Logic Approach. ECOOP 1994: 32-59 BibTeX

Referenced by

1. Suad Alagic: Type-Checking OQL Queries In the ODMG Type Systems. ACM Trans. Database Syst. 24(3): 319-360(1999)