A Direct Algorithm for Type Inference
تحليل وتصميم الخوارزميات