Database Query Languages Embedded in the Typed Lambda Calculus

Gerd G. Hillebrand, Paris C. Kanellakis, Harry G. Mairson

Browse the full LICS paper archive.