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

26 Database Query Languages Embedded in the Typed Lambda Calculus – Gerd Hillebrand , Paris C. Kanellakis, Harry G. Mairson - 1993
541 The complexity of relational query languages – M Y Vardi - 1982
1184 The Lambda Calculus: Its Syntax and Semantics – H P Barendregt - 1984
985 A theory of type polymorphism in programming – Robin Milner - 1978
341 The calculi of lambda conversion – A Church - 1941
26 The typed ^.-calculus is not elementary recursive – R Statman - 1979
1612 Foundations of Databases – S Abiteboul, R Hull, V Vianu - 1995
378 Towards a theory of type structure – J C Reynolds - 1974
2429 Monotone Complexity – Michelangelo Grigni , Michael Sipser - 1990