@article{Hallett:2005:PEN:1705550.1706056,
    Address = {Amsterdam, The Netherlands, The Netherlands},
    Author = {Hallett, J. J. and Kfoury, A. J.},
    File = {Programming Examples Needing Polymorphic Recursion - Hallett, Kfoury (0) (0) - a - a - e.pdf},
    ISSN = {1571-0661},
    Journal = {Electron. Notes Theor. Comput. Sci.},
    Keywords = {intersection types and polymorphic types and recursive types},
    Month = {July},
    Pages = {57--102},
    Publisher = {Elsevier Science Publishers B. V.},
    Title = {Programming Examples Needing Polymorphic Recursion},
    URL = {http://dx.doi.org/10.1016/j.entcs.2005.06.014},
    Volume = {136},
    Year = {2005},
    acmid = {1706056},
    bdsk-url-1 = {http://dx.doi.org/10.1016/j.entcs.2005.06.014},
    date-added = {2013-07-04 10:25:01 +0000},
    date-modified = {2013-07-04 10:30:55 +0000},
    file-2 = {Programming Examples Needing Polymorphic Recursion - Hallett, Kfoury (0) (0) - a - a - e.hs},
    issue_date = {July, 2005},
    numpages = {46},
    doi = {10.1016/j.entcs.2005.06.014}
}

@article{Hallett:2005:PEN:1705550.1706056, Address = {Amsterdam, The Netherlands, The Netherlands}, Author = {Hallett, J. J. and Kfoury, A. J.}, File = {Programming Examples Needing Polymorphic Recursion - Hallett, Kfoury (0) (0) - a - a - e.pdf}, ISSN = {1571-0661}, Journal = {Electron. Notes Theor. Comput. Sci.}, Keywords = {intersection types and polymorphic types and recursive types}, Month = {July}, Pages = {57--102}, Publisher = {Elsevier Science Publishers B. V.}, Title = {Programming Examples Needing Polymorphic Recursion}, URL = {http://dx.doi.org/10.1016/j.entcs.2005.06.014}, Volume = {136}, Year = {2005}, acmid = {1706056}, bdsk-url-1 = {http://dx.doi.org/10.1016/j.entcs.2005.06.014}, date-added = {2013-07-04 10:25:01 +0000}, date-modified = {2013-07-04 10:30:55 +0000}, file-2 = {Programming Examples Needing Polymorphic Recursion - Hallett, Kfoury (0) (0) - a - a - e.hs}, issue_date = {July, 2005}, numpages = {46}, doi = {10.1016/j.entcs.2005.06.014} }