Author:
Ohori Atsushi,Buneman Peter,Breazu-Tannen Val
Cited by
41 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. TypeQL: A Type-Theoretic & Polymorphic Query Language;Proceedings of the ACM on Management of Data;2024-05-10
2. Datafun: a functional Datalog;ACM SIGPLAN Notices;2016-12-05
3. Datafun: a functional Datalog;Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming;2016-09-04
4. SML# in industry;ACM SIGPLAN Notices;2014-11-26
5. SML# in industry;Proceedings of the 19th ACM SIGPLAN international conference on Functional programming;2014-08-19