@article{Wright199438,
    Author = {Wright, A.K. and Felleisen, M.},
    File = {A Syntactic Approach to Type Soundness - Wright, Felleisen (0) (0) - a - a - e.pdf},
    ISSN = {0890-5401},
    Journal = {Information and Computation},
    Number = {1},
    Pages = {38 - 94},
    Title = {A Syntactic Approach to Type Soundness},
    URL = {http://www.sciencedirect.com/science/article/pii/S0890540184710935},
    Volume = {115},
    Year = {1994},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0890540184710935},
    bdsk-url-2 = {http://dx.doi.org/10.1006/inco.1994.1093},
    date-added = {2013-05-17 16:26:43 +0000},
    date-modified = {2013-05-17 16:26:43 +0000},
    file-2 = {A Syntactic Approach to Type Soundness - Wright, Felleisen (1) (0) - a - a - e.pdf},
    doi = {10.1006/inco.1994.1093}
}

@article{Wright199438, Author = {Wright, A.K. and Felleisen, M.}, File = {A Syntactic Approach to Type Soundness - Wright, Felleisen (0) (0) - a - a - e.pdf}, ISSN = {0890-5401}, Journal = {Information and Computation}, Number = {1}, Pages = {38 - 94}, Title = {A Syntactic Approach to Type Soundness}, URL = {http://www.sciencedirect.com/science/article/pii/S0890540184710935}, Volume = {115}, Year = {1994}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0890540184710935}, bdsk-url-2 = {http://dx.doi.org/10.1006/inco.1994.1093}, date-added = {2013-05-17 16:26:43 +0000}, date-modified = {2013-05-17 16:26:43 +0000}, file-2 = {A Syntactic Approach to Type Soundness - Wright, Felleisen (1) (0) - a - a - e.pdf}, doi = {10.1006/inco.1994.1093} }