@inproceedings{Abadi:1989:DTS:75277.75296,
    Address = {New York, NY, USA},
    Author = {Abadi, M. and Cardelli, L. and Pierce, B. and Plotkin, Gordon},
    BookTitle = {Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
    File = {Dynamic typing in a statically-typed language - Abadi, Cardelli, Pierce, Plotkin (0) (0) - a - a - w.pdf},
    ISBN = {0-89791-294-2},
    Keywords = {type theory},
    Location = {Austin, Texas, United States},
    Pages = {213--227},
    Publisher = {ACM},
    Series = {POPL '89},
    Title = {Dynamic typing in a statically-typed language},
    URL = {http://doi.acm.org/10.1145/75277.75296},
    Year = {1989},
    acmid = {75296},
    bdsk-url-1 = {http://doi.acm.org/10.1145/75277.75296},
    bdsk-url-2 = {http://dx.doi.org/10.1145/75277.75296},
    date-added = {2012-12-04 21:49:54 +0000},
    date-modified = {2012-12-04 21:51:30 +0000},
    file-2 = {Dynamic typing in a statically-typed language - Abadi, Cardelli, Pierce, Plotkin (1) (0) - a - a - w.pdf},
    numpages = {15},
    doi = {10.1145/75277.75296}
}

@inproceedings{Abadi:1989:DTS:75277.75296, Address = {New York, NY, USA}, Author = {Abadi, M. and Cardelli, L. and Pierce, B. and Plotkin, Gordon}, BookTitle = {Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages}, File = {Dynamic typing in a statically-typed language - Abadi, Cardelli, Pierce, Plotkin (0) (0) - a - a - w.pdf}, ISBN = {0-89791-294-2}, Keywords = {type theory}, Location = {Austin, Texas, United States}, Pages = {213--227}, Publisher = {ACM}, Series = {POPL '89}, Title = {Dynamic typing in a statically-typed language}, URL = {http://doi.acm.org/10.1145/75277.75296}, Year = {1989}, acmid = {75296}, bdsk-url-1 = {http://doi.acm.org/10.1145/75277.75296}, bdsk-url-2 = {http://dx.doi.org/10.1145/75277.75296}, date-added = {2012-12-04 21:49:54 +0000}, date-modified = {2012-12-04 21:51:30 +0000}, file-2 = {Dynamic typing in a statically-typed language - Abadi, Cardelli, Pierce, Plotkin (1) (0) - a - a - w.pdf}, numpages = {15}, doi = {10.1145/75277.75296} }