Capsule summary of results and future directions of dynamic type inference, as proposed in our POPL 2011 paper.
@INPROCEEDINGS{an2011position, TITLE = {Position Paper: Dynamically Inferred Types for Dynamic Languages}, AUTHOR = {Jong-hoon (David) An and Avik Chaudhuri and Jeffrey S. Foster and Michael Hicks}, BOOKTITLE = {Proceedings of the Workshop on Scripts to Programs (STOP)}, MONTH = JAN, YEAR = 2011 }