Skip to content

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

Niek Mulleners, Johan Jeuring, Wouter Swierstra

VenueCPEPM
Year2026
ProceedingsPEPM

Browse the full PEPM paper archive.