Type harvesting: a practical approach to obtaining typing information in dynamic programming languages.

Michael Haupt, Michael Perscheid, Robert Hirschfeld

Browse the full SAC paper archive.