Document Versions

Quasi-Linear Types –Naoki Kobayashi — 1999
Quasi-Linear Types –Naoki Kobayashi — 1999 — In Twenty-Sixth ACM Symposium on Principles of Programming Languages
Quasi-Linear Types –Naoki Kobayashi — 1999