Declared Type Generalization Checker: An Eclipse Plug-In for Systematic Programming with More General Types.

Markus Bach, Florian Forster, Friedrich Steimann

Browse the full FASE paper archive.