Frank Tip
Refactoring Using Type Constraints
SAS, 2007.
@inproceedings{SAS-2007-Tip, author = "Frank Tip", booktitle = "{Proceedings of the 14th International Static Analysis Symposium}", doi = "10.1007/978-3-540-74061-2_1", isbn = "978-3-540-74060-5", pages = "1--17", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Refactoring Using Type Constraints}", volume = 4634, year = 2007, }