A linear functional language (Draft paper (1988)

by S Holmstrom