@inproceedings{Lammel:2003:SYB:604174.604179,
    Address = {New York, NY, USA},
    Author = {L\"{a}mmel, Ralf and Jones, Simon Peyton},
    BookTitle = {Proceedings of the 2003 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation},
    File = {hmap (0) - a - a - e.pdf},
    ISBN = {1-58113-649-8},
    Keywords = {generic programming, rank-2 types, traversal, type cast},
    Location = {New Orleans, Louisiana, USA},
    Pages = {26--37},
    Publisher = {ACM},
    Series = {TLDI '03},
    Title = {Scrap Your Boilerplate: A Practical Design Pattern for Generic Programming},
    URL = {http://doi.acm.org/10.1145/604174.604179},
    Year = {2003},
    acmid = {604179},
    bdsk-url-1 = {http://doi.acm.org/10.1145/604174.604179},
    bdsk-url-2 = {http://dx.doi.org/10.1145/604174.604179},
    date-added = {2017-02-21 20:43:42 +0000},
    date-modified = {2017-02-21 20:43:42 +0000},
    numpages = {12},
    doi = {10.1145/604174.604179}
}

@inproceedings{Lammel:2003:SYB:604174.604179, Address = {New York, NY, USA}, Author = {L\"{a}mmel, Ralf and Jones, Simon Peyton}, BookTitle = {Proceedings of the 2003 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation}, File = {hmap (0) - a - a - e.pdf}, ISBN = {1-58113-649-8}, Keywords = {generic programming, rank-2 types, traversal, type cast}, Location = {New Orleans, Louisiana, USA}, Pages = {26--37}, Publisher = {ACM}, Series = {TLDI '03}, Title = {Scrap Your Boilerplate: A Practical Design Pattern for Generic Programming}, URL = {http://doi.acm.org/10.1145/604174.604179}, Year = {2003}, acmid = {604179}, bdsk-url-1 = {http://doi.acm.org/10.1145/604174.604179}, bdsk-url-2 = {http://dx.doi.org/10.1145/604174.604179}, date-added = {2017-02-21 20:43:42 +0000}, date-modified = {2017-02-21 20:43:42 +0000}, numpages = {12}, doi = {10.1145/604174.604179} }