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

View PDF

Download Links

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

Active Bibliography

26 Database Query Languages Embedded in the Typed Lambda Calculus – Gerd Hillebrand , Paris C. Kanellakis, Harry G. Mairson - 1993
8 Finite Model Theory In The Simply Typed Lambda Calculus – Gerd G. Hillebrand - 1994
5 An Analysis of the Core-ML Language: Expressive Power and Type Reconstruction – Paris Kanellakis, Gerd Hillebrand, Harry Mairson - 1994
7 On the expressive power of simply typed and let-polymorphic lambda calculi – Gerd Hillebrand, Paris Kanellakis - 1996
4 Functional Programming Formalisms for OODB Methods – Gerd Hillebrand , Paris Kanellakis, Sridhar Ramaswamy - 1993
299 Complexity and Expressive Power of Logic Programming – Evgeny Dantsin, Thomas Eiter, Georg Gottlob, Andrei Voronkov - 1997
879 The Well-Founded Semantics for General Logic Programs – Kenneth A. Ross - 1991
17 A Query Language for NC – Dan Suciu, Val Tannen - 1994
2675 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999