@misc{indiciaeb1a8386e5656, title = {Static Type Checking for Database Access Code}, author = {Thomas James Kirz and Werner Dietl and Mattias Ulbrich and Stefanie Scherzinger}, year = {2026}, url = {https://arxiv.org/abs/2605.02569}, note = {Source identifier: 2605.02569} }