Niek Mulleners, Johan Jeuring, Wouter Swierstra. Hole Refinements for Polymorphic Type-and-Example Driven Synthesis. In Yukiyoshi Kameyama, Ningning Xie, editors, Proceedings of the 2026 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2026, Rennes, France, January 11-17, 2026. pages 17-30, ACM, 2026. [doi]
@inproceedings{MullenersJS26,
title = {Hole Refinements for Polymorphic Type-and-Example Driven Synthesis},
author = {Niek Mulleners and Johan Jeuring and Wouter Swierstra},
year = {2026},
doi = {10.1145/3779209.3779535},
url = {https://doi.org/10.1145/3779209.3779535},
researchr = {https://researchr.org/publication/MullenersJS26},
cites = {0},
citedby = {0},
pages = {17-30},
booktitle = {Proceedings of the 2026 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2026, Rennes, France, January 11-17, 2026},
editor = {Yukiyoshi Kameyama and Ningning Xie},
publisher = {ACM},
isbn = {979-8-4007-2357-5},
}