Program optimization and parallelization using idiomsShiomit S. PinterRon Y. Pinter1991POPL 1991Conference paper
Automatic construction of sparse data flow evaluation graphsJong-Deok ChoiRon Cytronet al.1991POPL 1991Conference paper
Static type inference in a dynamically typed languageAlexander AikenBrian R. Murphy1991POPL 1991Conference paper