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
}