Văn bản này: Efficient Local Type Inference