Quasi-Linear Types (1999)

by Naoki Kobayashi