Database query languages embedded in the typed lambda calculus | IEEE Conference Publication | IEEE Xplore