A Language for Function Signature Representations
Compositional program synthesis from natural language and examples