A Note On Type Checking Linear Functional Languages

Apostolos Syropoulos. A Note On Type Checking Linear Functional Languages. SIGPLAN Notices, 31(8):60-63, 1996.

Possibly Related Publications

The following publications are possibly variants of this publication: