A linear functional language (1988)

by S Holmström