Lilac(ID:2501/lil004)

functional programming language based on linear logic

Ian Mackie. A functional programming language based on linear logic

Structures:

References:

Mackie, Ian Lilac: A functional programming language based on linear logic. JFP, 4(4):395--433, October 1994. view details