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]
Abstract is missing.