Sciweavers

Declared Type Generalization Checker: An Eclipse Plug-In for Systematic Programming with More General Types
Recent Google, Yahoo, MSN search queries leading to this post
Declared Type Generalization Checker: An Eclipse Plug-In for Systematic Programming with More General Types