Lilac: a functional programming language based on linear logic
From MaRDI portal
Publication:4764609
DOI10.1017/S0956796800001131zbMath0817.68042MaRDI QIDQ4764609
Publication date: 4 May 1995
Published in: Journal of Functional Programming (Search for Journal in Brave)
68N15: Theory of programming languages
03B70: Logic in computer science
03B40: Combinatory logic and lambda calculus
Related Items
Preface to the special volume, Linearity and iterator types for Gödel's system \(\mathcal T\), Gödel's system \(\mathcal T\) revisited, A general adequacy result for a linear functional language, Polymorphic lambda calculus with context-free session types, \( \pi\) with leftovers: a mechanisation in Agda, Subtyping for session types in the pi calculus
Uses Software
Cites Work