TY  - RPRT
TI  - Augmenting Type Signatures for Program Synthesis
AU  - Bruce Collie
AU  - Michael O'Boyle
PY  - 2019
UR  - https://arxiv.org/abs/1907.05649
ID  - 1907.05649
ER  -