Quasi-linear types (1998)

by Naoki Kobayashi