Michal Lentner, Krzysztof Stencel, Kazimierz Subieta. Semi-strong Static Type Checking of Object-Oriented Query Languages. In Jirí Wiedermann, Gerard Tel, Jaroslav Pokorný, Mária Bieliková, Julius Stuller, editors, SOFSEM 2006: Theory and Practice of Computer Science, 32nd Conference on Current Trends in Theory and Practice of Computer Science, Merín, Czech Republic, January 21-27, 2006, Proceedings. Volume 3831 of Lecture Notes in Computer Science, pages 399-408, Springer, 2006. [doi]
Abstract is missing.