Author:
Arnold M.,Grove D.,Herta B.,Hind M.,Hirzel M.,Iyengar A.,Mandel L.,Saraswat V. A.,Shinnar A.,Simeon J.,Takeuchi M.,Tardieu O.,Zhang W.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Stream Processing Languages and Abstractions;Encyclopedia of Big Data Technologies;2018
2. Generating chat bots from web API specifications;Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software;2017-10-25
3. Prototyping a query compiler using Coq (experience report);Proceedings of the ACM on Programming Languages;2017-08-29
4. Handling Environments in a Nested Relational Algebra with Combinators and an Implementation in a Verified Query Compiler;Proceedings of the 2017 ACM International Conference on Management of Data;2017-05-09
5. SPL;ACM Transactions on Programming Languages and Systems;2017-03-23