Affiliation:
1. University of Utah, USA
2. n.n., n.n.
Abstract
We present seven programming challenges in Racket, and an elegant, unified approach to solving them using constraint logic programming in miniKanren.
Funder
National Science Foundation
Defense Advanced Research Projects Agency
Publisher
Association for Computing Machinery (ACM)
Subject
Safety, Risk, Reliability and Quality,Software
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Compiled, Extensible, Multi-language DSLs (Functional Pearl);Proceedings of the ACM on Programming Languages;2024-08-15
2. Supporting Novice Programmers via the Lens of Instructional Design;Advances in Educational Technologies and Instructional Design;2024-02-26
3. A Case Study in Functional Conversion and Mode Inference in miniKanren;Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation;2024-01-11
4. Relational Solver for Java Generics Type System;Logic-Based Program Synthesis and Transformation;2023
5. Scheduling Complexity of Interleaving Search;Functional and Logic Programming;2022