@article{JFP:114969,
    Author = {McBride, Conor},
    File = {Faking it Simulating dependent types in Haskell - McBRIDE (1) (0) - a - a - k.pdf},
    ISSN = {1469-7653},
    Issue = {4-5},
    Journal = {Journal of Functional Programming},
    Month = {7},
    Pages = {375--392},
    Title = {Faking it Simulating dependent types in Haskell},
    URL = {http://journals.cambridge.org/article\_S0956796802004355},
    Volume = {12},
    Year = {2002},
    bdsk-url-1 = {http://journals.cambridge.org/article\_S0956796802004355},
    bdsk-url-2 = {http://dx.doi.org/10.1017/S0956796802004355},
    date-added = {2014-02-03 14:04:21 +0000},
    date-modified = {2014-02-03 17:00:58 +0000},
    numpages = {18},
    doi = {10.1017/S0956796802004355}
}

@article{JFP:114969, Author = {McBride, Conor}, File = {Faking it Simulating dependent types in Haskell - McBRIDE (1) (0) - a - a - k.pdf}, ISSN = {1469-7653}, Issue = {4-5}, Journal = {Journal of Functional Programming}, Month = {7}, Pages = {375--392}, Title = {Faking it Simulating dependent types in Haskell}, URL = {http://journals.cambridge.org/article_S0956796802004355}, Volume = {12}, Year = {2002}, bdsk-url-1 = {http://journals.cambridge.org/article_S0956796802004355}, bdsk-url-2 = {http://dx.doi.org/10.1017/S0956796802004355}, date-added = {2014-02-03 14:04:21 +0000}, date-modified = {2014-02-03 17:00:58 +0000}, numpages = {18}, doi = {10.1017/S0956796802004355} }