@article{Hankin1995219,
    Author = {Hankin, Chris and M{\'e}tayer, Daniel Le},
    File = {Lazy type inference and program analysis - Hankin, Métayer (0) (0) - a - a - n.pdf},
    ISSN = {0167-6423},
    Journal = {Science of Computer Programming},
    Keywords = {reading},
    Note = {Selected Papers of ESOP'94, the 5th European Symposium on Programming},
    Number = {2--3},
    Pages = {219 - 249},
    Title = {Lazy type inference and program analysis},
    URL = {http://www.sciencedirect.com/science/article/pii/0167642395000127},
    Volume = {25},
    Year = {1995},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/0167642395000127},
    bdsk-url-2 = {http://dx.doi.org/10.1016/0167-6423(95)00012-7},
    date-added = {2014-03-19 18:07:30 +0000},
    date-modified = {2017-04-30 20:17:03 +0000},
    file-2 = {ca0b1b8f1dac4d5659e35e1271d5df676ff4 (0) - a - a - n.pdf},
    doi = {10.1016/0167-6423(95)00012-7}
}

@article{Hankin1995219, Author = {Hankin, Chris and M{\'e}tayer, Daniel Le}, File = {Lazy type inference and program analysis - Hankin, Métayer (0) (0) - a - a - n.pdf}, ISSN = {0167-6423}, Journal = {Science of Computer Programming}, Keywords = {reading}, Note = {Selected Papers of ESOP'94, the 5th European Symposium on Programming}, Number = {2--3}, Pages = {219 - 249}, Title = {Lazy type inference and program analysis}, URL = {http://www.sciencedirect.com/science/article/pii/0167642395000127}, Volume = {25}, Year = {1995}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/0167642395000127}, bdsk-url-2 = {http://dx.doi.org/10.1016/0167-6423(95)00012-7}, date-added = {2014-03-19 18:07:30 +0000}, date-modified = {2017-04-30 20:17:03 +0000}, file-2 = {ca0b1b8f1dac4d5659e35e1271d5df676ff4 (0) - a - a - n.pdf}, doi = {10.1016/0167-6423(95)00012-7} }