@inproceedings{Wadler:1989:TF:99370.99404,
    Address = {New York, NY, USA},
    Author = {Wadler, Philip},
    BookTitle = {Proceedings of the fourth international conference on Functional programming languages and computer architecture},
    File = {Theorems for free! - Wadler (0) (0) - a - a - y.pdf},
    ISBN = {0-89791-328-0},
    Keywords = {type theory and lambda calculus and functional programming and classic},
    Location = {Imperial College, London, United Kingdom},
    Pages = {347--359},
    Publisher = {ACM},
    Series = {FPCA '89},
    Title = {Theorems for free!},
    URL = {http://doi.acm.org/10.1145/99370.99404},
    Year = {1989},
    acmid = {99404},
    bdsk-url-1 = {http://doi.acm.org/10.1145/99370.99404},
    bdsk-url-2 = {http://dx.doi.org/10.1145/99370.99404},
    date-added = {2012-12-14 11:21:40 +0000},
    date-modified = {2013-01-30 17:11:40 +0000},
    file-2 = {Theorems for free! - Wadler (1) (0) - a - a - y.pdf},
    file-3 = {Theorems for free! - Wadler (2) (0) - a - a - y.pdf},
    file-4 = {Theorems for free! - Wadler (3) (0) - a - a - y.pdf},
    numpages = {13},
    doi = {10.1145/99370.99404}
}

@inproceedings{Wadler:1989:TF:99370.99404, Address = {New York, NY, USA}, Author = {Wadler, Philip}, BookTitle = {Proceedings of the fourth international conference on Functional programming languages and computer architecture}, File = {Theorems for free! - Wadler (0) (0) - a - a - y.pdf}, ISBN = {0-89791-328-0}, Keywords = {type theory and lambda calculus and functional programming and classic}, Location = {Imperial College, London, United Kingdom}, Pages = {347--359}, Publisher = {ACM}, Series = {FPCA '89}, Title = {Theorems for free!}, URL = {http://doi.acm.org/10.1145/99370.99404}, Year = {1989}, acmid = {99404}, bdsk-url-1 = {http://doi.acm.org/10.1145/99370.99404}, bdsk-url-2 = {http://dx.doi.org/10.1145/99370.99404}, date-added = {2012-12-14 11:21:40 +0000}, date-modified = {2013-01-30 17:11:40 +0000}, file-2 = {Theorems for free! - Wadler (1) (0) - a - a - y.pdf}, file-3 = {Theorems for free! - Wadler (2) (0) - a - a - y.pdf}, file-4 = {Theorems for free! - Wadler (3) (0) - a - a - y.pdf}, numpages = {13}, doi = {10.1145/99370.99404} }