Ramkrishna Chatterjee, Barbara G. Ryder, William Landi
Complexity of Concrete Type-Inference in the Presence of Exceptions
ESOP, 1998.
@inproceedings{ESOP-1998-ChatterjeeRL, author = "Ramkrishna Chatterjee and Barbara G. Ryder and William Landi", booktitle = "{Proceedings of the Seventh European Symposium on Programming}", doi = "10.1007/BFb0053563", editor = "Chris Hankin", isbn = "3-540-64302-8", pages = "57--74", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Complexity of Concrete Type-Inference in the Presence of Exceptions}", volume = 1381, year = 1998, }