Scripting the type inference process (2003)

by B Heeren, J Hage, SD Swierstra