Constraint-based type-directed program synthesis.

Peter-Michael Osera

Browse the full ICFP paper archive.