丁香花

LILAC:一个基于线性逻辑的函数式编程语言。我们把Abramsky的术语分配用于直觉线性逻辑(线性项演算)作为函数编程语言的基础。这是一种语言,程序员必须明确地嵌入算法的资源和控制信息。在米尔纳W算法的风格中,给出了我们的语言的类型重构算法,并描述了实现和使用示例。