Author:
Kiselyov Oleg,Katsushima Tatsuya
Publisher
Springer International Publishing
Reference14 articles.
1. Atkinson, M.P., Buneman, O.P.: Types and persistence in database programming languages. ACM Comput. Surv. 19(2), 105–170 (1987)
2. Buneman, P., Naqvi, S., Tannen, V., Wong, L.: Principles of programming with complex objects and collection types. Theor. Comput. Sci. 149(1), 3–48 (1995)
3. Buneman, P., Ohori, A.: Polymorphism and type inference in database programming. ACM Trans. Database Syst. 21(1), 30–76 (1996)
4. Cheney, J., Lindley, S., Wadler, P.: A practical theory of language-integrated query. In: ICFP 2013, pp. 403–416. ACM, New York (2013)
5. Chu, S., Weitz, K., Cheung, A., Suciu, D.: HoTTSQL: proving query rewrites with univalent SQL semantics. CoRR abs/1607.04822 (2016).
http://arxiv.org/abs/1607.04822
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Object Graph Programming;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-02-06
2. Comprehending queries over finite maps;International Symposium on Principles and Practice of Declarative Programming;2023-10-22
3. Language-Integrated Query for Temporal Data;Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences;2022-11-29
4. Strongly-Normalizing Higher-Order Relational Queries;Logical Methods in Computer Science;2022-08-17
5. Query Lifting;Programming Languages and Systems;2021