Lilac – a functional programming language based on linear logic (0)

by I Mackie
Venue:Journal of Functional Programming