Ekaterina Verbitskaia, Igor Engel, Daniil Berezun. A Case Study in Functional Conversion and Mode Inference in miniKanren. In Gabriele Keller, Meng Wang 0002, editors, Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2024, London, UK, 16 January 2024. pages 107-118, ACM, 2024. [doi]
@inproceedings{VerbitskaiaEB24,
title = {A Case Study in Functional Conversion and Mode Inference in miniKanren},
author = {Ekaterina Verbitskaia and Igor Engel and Daniil Berezun},
year = {2024},
doi = {10.1145/3635800.3636966},
url = {https://doi.org/10.1145/3635800.3636966},
researchr = {https://researchr.org/publication/VerbitskaiaEB24},
cites = {0},
citedby = {0},
pages = {107-118},
booktitle = {Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2024, London, UK, 16 January 2024},
editor = {Gabriele Keller and Meng Wang 0002},
publisher = {ACM},
}