Pages that link to "Item:Q3644752"
From MaRDI portal
The following pages link to Enriching an Effect Calculus with Linear Types (Q3644752):
Displaying 4 items.
- Computation by interaction for space-bounded functional programming (Q276265) (← links)
- Reverse AD at higher types: pure, principled and denotationally correct (Q2233481) (← links)
- A Nominal Relational Model for Local Store (Q3178267) (← links)
- On reduction and normalization in the computational core (Q5879269) (← links)
