Markus Bach, Florian Forster, Friedrich Steimann. Declared Type Generalization Checker: An Eclipse Plug-In for Systematic Programming with More General Types. In Matthew B. Dwyer, Antónia Lopes, editors, Fundamental Approaches to Software Engineering, 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings. Volume 4422 of Lecture Notes in Computer Science, pages 117-120, Springer, 2007. [doi]
Abstract is missing.