TY  - RPRT
TI  - Synthesis of Recursive ADT Transformations from Reusable Templates
AU  - Jeevana Priya Inala
AU  - Nadia Polikarpova
AU  - Xiaokang Qiu
AU  - Benjamin S. Lerner
AU  - Armando Solar-Lezama
PY  - 2017
UR  - https://arxiv.org/abs/1507.05527
ID  - 1507.05527
ER  -