Affiliation:
1. University of Washington, USA
Funder
Defense Advanced Research Projects Agency
National Science Foundation
U.S. Department of Energy
Reference63 articles.
1. Magic sets and other strange ways to implement logic programs (extended abstract)
2. B. Barras B. Grégoire A. Mahboubi and L. Théry. Coq reference manual chapter 25: The ring and field tactic families. https://coq.inria.fr/refman/Reference-Manual028. html. B. Barras B. Grégoire A. Mahboubi and L. Théry. Coq reference manual chapter 25: The ring and field tactic families. https://coq.inria.fr/refman/Reference-Manual028. html.
3. A Coq Formalization of the Relational Data Model
4. Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem
Cited by
24 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. TypeQL: A Type-Theoretic & Polymorphic Query Language;Proceedings of the ACM on Management of Data;2024-05-10
2. VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints;Proceedings of the ACM on Programming Languages;2024-04-29
3. A Learned Query Rewrite System;Proceedings of the VLDB Endowment;2023-08
4. SQL Nulls and Two-Valued Logic;Proceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems;2023-06-18
5. Predicate Pushdown for Data Science Pipelines;Proceedings of the ACM on Management of Data;2023-06-13