Suad Alagic. Type-Checking OQL Queries In the ODMG Type Systems. ACM Trans. Database Syst., 24(3):319-360, 1999. [doi]
@article{Alagic99:0,
title = {Type-Checking OQL Queries In the ODMG Type Systems},
author = {Suad Alagic},
year = {1999},
doi = {10.1145/328939.328943},
url = {http://doi.acm.org/10.1145/328939.328943},
tags = {type system, type checking},
researchr = {https://researchr.org/publication/Alagic99%3A0},
cites = {0},
citedby = {0},
journal = {ACM Trans. Database Syst.},
volume = {24},
number = {3},
pages = {319-360},
}