Suad Alagic Type-Checking OQL Queries In the ODMG Type Systems. 319-360 TODS24/P319.pdf 1999 24 ACM Trans. Database Syst. 3 db/journals/tods/tods24.html#Alagic99 http://doi.acm.org/10.1145/328939.328943 journals/toplas/AbadiC96 conf/oopsla/AgesenFM97 conf/ewdw/Alagic94 conf/oopsla/Alagic97 conf/dbpl/Alagic97 conf/ecoop/AlagicSG98 journals/tapos/Alagic99 ... conf/dood/AtkinsonBDDMZ89 journals/vldb/AtkinsonM95 books/mk/BancilhonDK92 conf/oopsla/BrachaOSW98 conf/oopsla/BruceCMGDM93 conf/ecoop/BruceSG95 journals/tods/BunemanO96 conf/fpca/CanningCHOM89 conf/edbt/Cardelli88 books/mk/Cattell97 conf/popl/CookHC90 journals/cj/Cook89 conf/pos/CooperK94 conf/ecoop/DrossopoulouE97 books/aw/GoslingJS96 ... conf/oopsla/OhoriB89 conf/sigmod/OhoriBT89 ... conf/popl/OderskyW97 conf/popl/Pierce92 conf/oopsla/SolorzanoA98 conf/edbt/StempleFSS90 ... books/aw/Stroustrup91