@article{GASSER1998113,
    Author = {Gasser, Kirsten Lackner Solberg and Nielson, Hanne Riis and Nielson, Flemming},
    File = {1-s2.0-S0167642396000433-main (0) - a - a - j.pdf},
    ISSN = {0167-6423},
    Journal = {Science of Computer Programming},
    Keywords = {Annotated type system},
    Number = {1},
    Pages = {113 - 145},
    Title = {Strictness and totality analysis},
    URL = {http://www.sciencedirect.com/science/article/pii/S0167642396000433},
    Volume = {31},
    Year = {1998},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0167642396000433},
    bdsk-url-2 = {http://dx.doi.org/10.1016/S0167-6423(96)00043-3},
    date-added = {2017-05-03 20:05:59 +0000},
    date-modified = {2017-05-03 20:05:59 +0000},
    file-2 = {solberg-nielson-nielson-sas94 (0) - a - a - j.pdf},
    file-3 = {NiNi94sas (0) - a - a - j.pdf},
    doi = {10.1016/S0167-6423(96)00043-3}
}

@article{GASSER1998113, Author = {Gasser, Kirsten Lackner Solberg and Nielson, Hanne Riis and Nielson, Flemming}, File = {1-s2.0-S0167642396000433-main (0) - a - a - j.pdf}, ISSN = {0167-6423}, Journal = {Science of Computer Programming}, Keywords = {Annotated type system}, Number = {1}, Pages = {113 - 145}, Title = {Strictness and totality analysis}, URL = {http://www.sciencedirect.com/science/article/pii/S0167642396000433}, Volume = {31}, Year = {1998}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0167642396000433}, bdsk-url-2 = {http://dx.doi.org/10.1016/S0167-6423(96)00043-3}, date-added = {2017-05-03 20:05:59 +0000}, date-modified = {2017-05-03 20:05:59 +0000}, file-2 = {solberg-nielson-nielson-sas94 (0) - a - a - j.pdf}, file-3 = {NiNi94sas (0) - a - a - j.pdf}, doi = {10.1016/S0167-6423(96)00043-3} }