Bottom-up synthesis of recursive functional programs using angelic execution. - Anders Miltner; Adrian Trejo Nuñez; Ana Brendel; Swarat Chaudhuri; Isil Dillig (Proc. ACM Program. Lang., 2022)