Pages that link to "Item:Q3460909"
From MaRDI portal
The following pages link to Aliasing Control in an Imperative Pure Calculus (Q3460909):
Displaying 5 items.
- An imperative pure calculus (Q737089) (← links)
- Flexible recovery of uniqueness and immutability (Q1731519) (← links)
- A logical analysis of aliasing in imperative higher-order functions (Q2936791) (← links)
- (Q5076059) (← links)
- A logical analysis of aliasing in imperative higher-order functions (Q5308091) (← links)