@INPROCEEDINGS{Lerner2006,
author = {Benjamin Lerner and Dan Grossman and Craig Chambers},
title = {{S{\sc eminal}}: searching for {ML} type-error messages},
booktitle = {{ML} '06: Proceedings of the 2006 workshop on {ML}},
year = {2006},
pages = {63--73},
address = {New York, NY, USA},
publisher = {ACM Press},
doi = {http://doi.acm.org/10.1145/1159876.1159887},
isbn = {1-59593-483-9},
location = {Portland, Oregon, USA},
url = {http://www.cs.washington.edu/homes/blerner/papers/ml2006.html}
}
@INPROCEEDINGS{Lerner2007,
author = {Benjamin Lerner and Matthew Flower and
Dan Grossman and Craig Chambers},
title = {Searching for Type-Error messages},
booktitle = {{PLDI} '07: Proceedings of the 2007 ACM SIGPLAN conference
on Programming language design and implementation},
year = {2007},
address = {New York, NY, USA},
publisher = {ACM Press},
location = {San Diego, California, USA},
url = {http://www.cs.washington.edu/homes/blerner/papers/pldi2007.html}
}
