@inproceedings{mulleners2026,
  title = {{Hole Refinements for Polymorphic Type-and-Example Driven Synthesis}},
  author = {Niek Mulleners and Johan Jeuring and Wouter Swierstra},
  booktitle = {PEPM '26: 2026 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation},
  year = 2026,
  doi = {10.1145/3779209.3779535},
}