@inproceedings{gopinath2017how,
  title={How Good are Your Types? Using Mutation Analysis to Evaluate the Effectiveness of Type Annotations},
  author={Gopinath, Rahul and Walkingshaw, Eric},
  booktitle={Software Testing, Verification and Validation Workshops (ICSTW), 2017 IEEE Seventh International Conference on},
  year={2017},
  organization={IEEE}
}