Bratin Saha Zhong Shao Optimal Type Lifting. 156-177 http://link.springer.de/link/service/series/0558/bibs/1473/14730156.htm 1998 conf/tic/1998 Types in Compilation db/conf/tic/tic1998.html#SahaS98