TY  - RPRT
TI  - Type-Directed Program Synthesis and Constraint Generation for Library Portability
AU  - Bruce Collie
AU  - Philip Ginsbach
AU  - Michael F. P. O'Boyle
PY  - 2019
DO  - 10.1109/pact.2019.00013
UR  - https://arxiv.org/abs/1908.04546
ID  - 1908.04546
ER  -