Dynamic inference of abstract types.

Philip J. Guo, Jeff H. Perkins, Stephen McCamant, Michael D. Ernst

Browse the full ISSTA paper archive.