Classic Algorithm W for type inference.
Updated 2010-03-29 10:44:28 +04:00