@article{Palsberg:1995:SAV:207177.207192,
    Address = {Duluth, MN, USA},
    Author = {Palsberg, Jens and Schwartzbach, Michael I.},
    File = {Safety analysis versus type inference - Palsberg, Schwartzbach (2) (0) - a - a - o.pdf},
    ISSN = {0890-5401},
    Journal = {Inf. Comput.},
    Month = {April},
    Number = {1},
    Pages = {128--141},
    Publisher = {Academic Press, Inc.},
    Title = {Safety analysis versus type inference},
    URL = {http://dx.doi.org/10.1006/inco.1995.1058},
    Volume = {118},
    Year = {1995},
    acmid = {207192},
    bdsk-url-1 = {http://dx.doi.org/10.1006/inco.1995.1058},
    date-added = {2013-07-10 08:25:11 +0000},
    date-modified = {2013-07-10 08:25:11 +0000},
    file-2 = {Safety analysis versus type inference - Palsberg, Schwartzbach (1) (0) - a - a - o.pdf},
    issue_date = {April 1995},
    numpages = {14},
    doi = {10.1006/inco.1995.1058}
}

@article{Palsberg:1995:SAV:207177.207192, Address = {Duluth, MN, USA}, Author = {Palsberg, Jens and Schwartzbach, Michael I.}, File = {Safety analysis versus type inference - Palsberg, Schwartzbach (2) (0) - a - a - o.pdf}, ISSN = {0890-5401}, Journal = {Inf. Comput.}, Month = {April}, Number = {1}, Pages = {128--141}, Publisher = {Academic Press, Inc.}, Title = {Safety analysis versus type inference}, URL = {http://dx.doi.org/10.1006/inco.1995.1058}, Volume = {118}, Year = {1995}, acmid = {207192}, bdsk-url-1 = {http://dx.doi.org/10.1006/inco.1995.1058}, date-added = {2013-07-10 08:25:11 +0000}, date-modified = {2013-07-10 08:25:11 +0000}, file-2 = {Safety analysis versus type inference - Palsberg, Schwartzbach (1) (0) - a - a - o.pdf}, issue_date = {April 1995}, numpages = {14}, doi = {10.1006/inco.1995.1058} }