@article{Lago:2019:PTM:3320016.3293605,
    Address = {New York, NY, USA},
    Author = {Lago, Ugo Dal and Grellois, Charles},
    File = {a10-lago (0) (0) - a - a - h.pdf},
    ISSN = {0164-0925},
    Journal = {ACM Trans. Program. Lang. Syst.},
    Keywords = {Probabilistic lambda-calculus, affine types, almost-sure termination, parametrized reducibility, sized types},
    Month = {March},
    Number = {2},
    Pages = {10:1--10:65},
    Publisher = {ACM},
    Title = {Probabilistic Termination by Monadic Affine Sized Typing},
    URL = {http://doi.acm.org/10.1145/3293605},
    Volume = {41},
    Year = {2019},
    acmid = {3293605},
    articleno = {10},
    bdsk-url-1 = {http://doi.acm.org/10.1145/3293605},
    bdsk-url-2 = {https://doi.org/10.1145/3293605},
    date-added = {2019-05-02 13:22:24 +0200},
    date-modified = {2019-05-02 13:22:24 +0200},
    file-2 = {0506080 (0) (0) - a - a - h.pdf},
    issue_date = {April 2019},
    numpages = {65},
    doi = {10.1145/3293605}
}

@article{Lago:2019:PTM:3320016.3293605, Address = {New York, NY, USA}, Author = {Lago, Ugo Dal and Grellois, Charles}, File = {a10-lago (0) (0) - a - a - h.pdf}, ISSN = {0164-0925}, Journal = {ACM Trans. Program. Lang. Syst.}, Keywords = {Probabilistic lambda-calculus, affine types, almost-sure termination, parametrized reducibility, sized types}, Month = {March}, Number = {2}, Pages = {10:1--10:65}, Publisher = {ACM}, Title = {Probabilistic Termination by Monadic Affine Sized Typing}, URL = {http://doi.acm.org/10.1145/3293605}, Volume = {41}, Year = {2019}, acmid = {3293605}, articleno = {10}, bdsk-url-1 = {http://doi.acm.org/10.1145/3293605}, bdsk-url-2 = {https://doi.org/10.1145/3293605}, date-added = {2019-05-02 13:22:24 +0200}, date-modified = {2019-05-02 13:22:24 +0200}, file-2 = {0506080 (0) (0) - a - a - h.pdf}, issue_date = {April 2019}, numpages = {65}, doi = {10.1145/3293605} }