Combining top-down and bottom-up approaches for automated discovery of typed programs | IEEE Conference Publication | IEEE Xplore