Direct and Expressive Type Inference for the Rank 2 Fragment of System F. - Bradley Lushman (2007)