Pages that link to "Item:Q4764609"
From MaRDI portal
The following pages link to Lilac: a functional programming language based on linear logic (Q4764609):
Displaying 7 items.
- Preface to the special volume (Q534064) (← links)
- Linearity and iterator types for Gödel's system \(\mathcal T\) (Q656851) (← links)
- Gödel's system \(\mathcal T\) revisited (Q960861) (← links)
- A general adequacy result for a linear functional language (Q1391860) (← links)
- Polymorphic lambda calculus with context-free session types (Q2105433) (← links)
- \( \pi\) with leftovers: a mechanisation in Agda (Q2117018) (← links)
- Subtyping for session types in the pi calculus (Q2576666) (← links)
