Lightweight linear types in system F o (2010)

by Karl Mazurak , Jianzhou Zhao , Steve Zdancewic
Venue:In TLDI
Citations:5 - 1 self