Type-and-example directed program synthesis using example propagation, as described in Program Synthesis Using Example Propagation.
Primary LanguageHTMLApache License 2.0Apache-2.0