João Costa Seco, Jonathan Aldrich, Luis Carvalho, Bernardo Toninho, Carla Ferreira 0001. Derivations with Holes for Concept-Based Program Synthesis. In Christophe Scholliers, Jeremy Singer, editors, Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2022, Auckland, New Zealand, December 8-10, 2022. pages 63-79, ACM, 2022. [doi]
Abstract is missing.