Lygon

Named after Lygon Street, near Melbourne University

1992

A declarative language with linear logic programming.

"Implementation and Development Issues for the Linear Logic Programming Language Lygon", Michael Winikoff et al, Australasian Computer Science Conference, pp.563-572, Feb 1995.