Generic programming, partial evaluation, and a new programming paradigm | IEEE Conference Publication | IEEE Xplore