Quasi-linear types (1999)

by N Kobayashi
Venue:In Proc. of POPL