Optimal type lifting (1998)

by Bratin Saha, Zhong Shao