Functional Database Query Languages as Typed Lambda Calculi of Fixed Order (Extended Abstract) (1994)

by Gerd G. Hillebrand, Paris C. Kanellakis
Venue:In Proceedings 13th PODS