External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Derivations with Holes for Concept-Based Program Synthesis

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]

Authors

João Costa Seco

This author has not been identified. Look up 'João Costa Seco' in Google

Jonathan Aldrich

This author has not been identified. Look up 'Jonathan Aldrich' in Google

Luis Carvalho

This author has not been identified. Look up 'Luis Carvalho' in Google

Bernardo Toninho

This author has not been identified. Look up 'Bernardo Toninho' in Google

Carla Ferreira 0001

This author has not been identified. Look up 'Carla Ferreira 0001' in Google
runs on