RefiNym: Using names to refine types

Dash, SK; Allamanis, M; Barr, ET; (2018) RefiNym: Using names to refine types. In: Leavens, GT and Garcia, A and Păsăreanu, CS, (eds.) ESEC/FSE 2018: Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. (pp. pp. 107-117). Association for Computing Machinery (ACM): New York, NY, USA. Green open access

http://bit.ly/2RXjIj0