Lilac: A functional Programming Language Based On Linear Logic

Abstract

We take Abramsky's term assignment for Intuitionistic Linear Logic (the linear term calculus) as the basis of a functional programming language. This is a language where the programmer must embed explicitly the resource and control information of an algorithm. We give a type reconstruction algorithm for our language in the style of Milner's iV algorithm, together with a description of the implementation and examples of use. © 1994, Cambridge University Press. All rights reserved.