Static type inference in a dynamically typed languageAlexander AikenBrian R. Murphy1991POPL 1991Conference paper