Functional Database Query Languages as Typed Lambda Calculi of Fixed Order.

Gerd G. Hillebrand, Paris C. Kanellakis

Browse the full PODS paper archive.