Hole Refinements for Polymorphic Type-and-Example Driven Synthesis.

Niek Mulleners Johan Jeuring Wouter Swierstra Hole Refinements for Polymorphic Type-and-Example Driven Synthesis. 17-30 2026 PEPM https://doi.org/10.1145/3779209.3779535 conf/pepm/2026 db/conf/pepm/pepm2026.html#MullenersJS26