Atsushi Igarashi, Naoki Kobayashi. Type Reconstruction for Linear -Calculus with I/O Subtyping. Inf. Comput., 161(1):1-44, 2000.
@article{IgarashiK00, title = {Type Reconstruction for Linear -Calculus with I/O Subtyping}, author = {Atsushi Igarashi and Naoki Kobayashi}, year = {2000}, tags = {subtyping}, researchr = {https://researchr.org/publication/IgarashiK00}, cites = {0}, citedby = {0}, journal = {Inf. Comput.}, volume = {161}, number = {1}, pages = {1-44}, }