Lilac: a functional programming language based on linear logic (1991)

by I Mackie