Lilac: a functional programming language based on linear logic

DOI10.1017/S0956796800001131zbMath0817.68042MaRDI QIDQ4764609

Ian Mackie

Publication date: 4 May 1995

Published in: Journal of Functional Programming (Search for Journal in Brave)

zbMATH Keywords

intuitionistic linear logic

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic in computer science (03B70) Combinatory logic and lambda calculus (03B40)

Related Items (7)

A general adequacy result for a linear functional language ⋮ Linearity and iterator types for Gödel's system \(\mathcal T\) ⋮ Gödel's system \(\mathcal T\) revisited ⋮ Preface to the special volume ⋮ Subtyping for session types in the pi calculus ⋮ Polymorphic lambda calculus with context-free session types ⋮ \( \pi\) with leftovers: a mechanisation in Agda

Uses Software

• Lilac

Cites Work

• Unnamed Item
• Unnamed Item
• Linear logic
• Computational interpretations of linear logic
• An internal language for autonomous categories
• A Transformation System for Developing Recursive Programs
• Explicit substitutions
• A Machine-Oriented Logic Based on the Resolution Principle

This page was built for publication: Lilac: a functional programming language based on linear logic