Zvonimir Pavlinovic, Tim King, Thomas Wies
Finding minimum type error sources
OOPSLA, 2014.
@inproceedings{OOPSLA-2014-PavlinovicKW, author = "Zvonimir Pavlinovic and Tim King and Thomas Wies", booktitle = "{Proceedings of the 29th Conference on Object-Oriented Programming, Systems, Languages and Applications}", doi = "10.1145/2660193.2660230", isbn = "978-1-4503-2585-1", pages = "525--542", publisher = "{ACM}", title = "{Finding minimum type error sources}", year = 2014, }