@article{Wadler:2015:PT:2847579.2699407,
    Address = {New York, NY, USA},
    Author = {Wadler, Philip},
    File = {p75-wadler (0) - a - a - b.pdf},
    ISSN = {0001-0782},
    Journal = {Commun. ACM},
    Month = {November},
    Number = {12},
    Pages = {75--84},
    Publisher = {ACM},
    Title = {Propositions As Types},
    URL = {http://doi.acm.org/10.1145/2699407},
    Volume = {58},
    Year = {2015},
    acmid = {2699407},
    bdsk-url-1 = {http://doi.acm.org/10.1145/2699407},
    bdsk-url-2 = {http://dx.doi.org/10.1145/2699407},
    date-added = {2017-04-03 09:56:38 +0000},
    date-modified = {2017-04-03 09:56:38 +0000},
    issue_date = {December 2015},
    numpages = {10},
    doi = {10.1145/2699407}
}

@article{Wadler:2015:PT:2847579.2699407, Address = {New York, NY, USA}, Author = {Wadler, Philip}, File = {p75-wadler (0) - a - a - b.pdf}, ISSN = {0001-0782}, Journal = {Commun. ACM}, Month = {November}, Number = {12}, Pages = {75--84}, Publisher = {ACM}, Title = {Propositions As Types}, URL = {http://doi.acm.org/10.1145/2699407}, Volume = {58}, Year = {2015}, acmid = {2699407}, bdsk-url-1 = {http://doi.acm.org/10.1145/2699407}, bdsk-url-2 = {http://dx.doi.org/10.1145/2699407}, date-added = {2017-04-03 09:56:38 +0000}, date-modified = {2017-04-03 09:56:38 +0000}, issue_date = {December 2015}, numpages = {10}, doi = {10.1145/2699407} }