@misc {IOPORT.70627277,
    author       = {Mazurak, Karl and Zhao, Jianzhou and Zdancewic, Steve},
    title        = {Lightweight linear types in system fdegree},
    howpublished = {TLDI, 77-88 (2010).},
    year         = {2010},
    doi          = {10.1145/1708016.1708027},
    identifier   = {70627277},
}