Author:
Friedman Daniel P.,Byrd William E.,Kiselyov Oleg
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. stableKanren: Integrating Stable Model Semantics with miniKanren;International Symposium on Principles and Practice of Declarative Programming;2023-10-22
2. Relational Solver for Java Generics Type System;Logic-Based Program Synthesis and Transformation;2023
3. Scheduling Complexity of Interleaving Search;Functional and Logic Programming;2022
4. An Empirical Study of Partial Deduction for miniKanren;Electronic Proceedings in Theoretical Computer Science;2021-09-06
5. Efficient fair conjunction for structurally-recursive relations;Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation;2021-01-17