Database query languages embedded in the typed lambda calculus (1993)

by Gerd G Hillebrand, Paris C Kanellakis, Harry G Mairson
Venue:In LICS ’93