Lilac: A functional programming language based on linear logic (1994)

by Ian Mackie
Venue:Journal of Functional Programming