Type Reconstruction for Linear -Calculus with I/O Subtyping

Atsushi Igarashi, Naoki Kobayashi. Type Reconstruction for Linear -Calculus with I/O Subtyping. Inf. Comput., 161(1):1-44, 2000.

Abstract

Abstract is missing.