Lightweight linear types in System F (2010)

by Karl Mazurak, Jianzhou Zhao, Steve Zdancewic
Venue:In TLDI ’10: Proceedings of the 5th ACM SIGPLAN workshop on Types in Language Design and Implementation