Synthesizable Higher-Order Functions for C++ | IEEE Journals & Magazine | IEEE Xplore