Can we learn some PL theory?: how to make use of a corpus of subtype checks.

Artem Pelenitsyn

Browse the full ISSTA paper archive.