Stephanie Weirich
Encoding Intensional Type Analysis
ESOP, 2001.
@inproceedings{ESOP-2001-Weirich, author = "Stephanie Weirich", booktitle = "{Proceedings of the 10th European Symposium on Programming}", doi = "10.1007/3-540-45309-1_7", editor = "David Sands", isbn = "3-540-41862-8", pages = "92--106", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Encoding Intensional Type Analysis}", volume = 2028, year = 2001, }