TY  - RPRT
TI  - Automated Transpilation of Imperative to Functional Code using Neural-Guided Program Synthesis (Extended Version)
AU  - Benjamin Mariano
AU  - Yanju Chen
AU  - Yu Feng
AU  - Greg Durrett
AU  - Isil Dillig
PY  - 2022
UR  - https://arxiv.org/abs/2203.09452
ID  - 2203.09452
ER  -