Author:
Byrd William E.,Holk Eric,Friedman Daniel P.
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Compiled, Extensible, Multi-language DSLs (Functional Pearl);Proceedings of the ACM on Programming Languages;2024-08-15
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