Program synthesis by type-guided abstraction refinement. - Zheng Guo 003; Michael James 003; David Justo; Jiaxiao Zhou; Ziteng Wang; Ranjit Jhala; Nadia Polikarpova (Proc. ACM Program. Lang., 2020)