On genericity and parametricity (extended abstract)
暂无分享,去创建一个
[1] John C. Mitchell,et al. Type Systems for Programming Languages , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[2] David Harel,et al. Computable Queries for Relational Data Bases , 1980, J. Comput. Syst. Sci..
[3] Limsoon Wong,et al. Naturally Embedded Query Languages , 1992, ICDT.
[4] Paris C. Kanellakis,et al. Functional database query languages as typed lambda calculi of fixed order (extended abstract) , 1994, PODS '94.
[5] Ashok K. Chandra. Programming primitives for database languages , 1981, POPL '81.
[6] Philip Wadler,et al. Theorems for free! , 1989, FPCA.
[7] Peter Buneman,et al. Structural Recursion as a Query Language , 1992, DBPL.
[8] John C. Reynolds,et al. Towards a theory of type structure , 1974, Symposium on Programming.
[9] Richard Hull,et al. The format model: a theory of database organization , 1982, JACM.
[10] David Harel,et al. Completeness results for recursive data bases , 1993, J. Comput. Syst. Sci..
[11] Jan Paredaens,et al. Towards a theory of spatial database queries (extended abstract) , 1994, PODS.
[12] Alfred V. Aho,et al. Universality of data retrieval languages , 1979, POPL.
[13] Jan Van den Bussche,et al. Towards a theory of spatial database queries (extended abstract) , 1994, PODS '94.
[14] Catriel Beeri,et al. On the power of languages for manipulation of complex objects , 1987, VLDB 1987.