Type inference for program understanding (2006)

by Chuck