No. 22 (1994): RS-22 A General Adequacy Result for a Linear Functional Language

Published: 1994-08-02