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

Cached

Download Links

by Gerd G. Hillebrand , Paris C. Kanellakis
Venue:In Proceedings 13th PODS
Citations:12 - 5 self

Documents Related by Co-Citation

25 Database Query Languages Embedded in the Typed Lambda Calculus – Gerd Hillebrand , Paris C. Kanellakis, Harry G. Mairson - 1993
529 The complexity of relational query languages – M Y Vardi
1121 The Lambda Calculus, its Syntax and Semantics – H P Barendregt - 1981
944 A theory of type polymorphism in programming – Robin Milner - 1978
328 The Calculi of Lambda Conversion – A Church - 1941
26 The typed ^.-calculus is not elementary recursive – R Statman - 1979
1549 Foundations of Databases – S ABITEBOUL, R HULL, V VIANU - 1995
2359 Monotone Complexity – Michelangelo Grigni , Michael Sipser - 1990
366 Towards a theory of type structure – John C Reynolds - 1974