Derivations with Holes for Concept-Based Program Synthesis.

Joo Costa Seco, Jonathan Aldrich, Lus Carvalho, Bernardo Toninho, Carla Ferreira

Browse the full Onward paper archive.