Type inference by program transformation and partial evaluation | IEEE Conference Publication | IEEE Xplore