@article{Shi_2013,
    doi = {10.1016/j.scico.2012.09.005},
    url = {https://doi.org/10.1016%2Fj.scico.2012.09.005},
    year = {2013},
    month = {aug},
    publisher = {Elsevier {BV}},
    volume = {78},
    number = {8},
    pages = {1176--1192},
    author = {Rui Shi and Hongwei Xi},
    title = {A linear type system for multicore programming in {ATS}},
    journal = {Science of Computer Programming}
}

@article{Shi_2013, doi = {10.1016/j.scico.2012.09.005}, url = {https://doi.org/10.1016%2Fj.scico.2012.09.005}, year = {2013}, month = {aug}, publisher = {Elsevier {BV}}, volume = {78}, number = {8}, pages = {1176--1192}, author = {Rui Shi and Hongwei Xi}, title = {A linear type system for multicore programming in {ATS}}, journal = {Science of Computer Programming} }