Semi-strong Static Type Checking of Object-Oriented Query Languages.

Michal Lentner, Krzysztof Stencel, Kazimierz Subieta

Browse the full SOFSEM paper archive.