Add some type-inference papers