@inproceedings{Weirich-2011-unbound,
 author = {Weirich, Stephanie and Yorgey, Brent A. and Sheard, Tim},
 title = {Binders unbound},
 booktitle = {Proceedings of the 16th ACM SIGPLAN international conference on Functional programming},
 series = {ICFP '11},
 year = {2011},
 isbn = {978-1-4503-0865-6},
 location = {Tokyo, Japan},
 pages = {333--345},
 numpages = {13},
 url = {http://doi.acm.org/10.1145/2034773.2034818},
 doi = {http://doi.acm.org/10.1145/2034773.2034818},
 acmid = {2034818},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {generic programming, haskell, name binding, patterns},
}