How Good Are Your Types? Using Mutation Analysis to Evaluate the Effectiveness of Type Annotations.

Rahul Gopinath, Eric Walkingshaw

Browse the full ICST paper archive.