Lightweight linear types in system F (2010)

by Karl Mazurak, Jianzhou Zhao, Steve Zdancewic
Venue:In Workshop on Types in Language Design and Implementation (TLDI