Pages that link to "Item:Q2817693"
From MaRDI portal
The following pages link to The semantics of Scheme with future (Q2817693):
Displaying 7 items.
- Dependence analysis for safe futures (Q436391) (← links)
- Behavioral interface description of an object-oriented language with futures and promises (Q843206) (← links)
- A concurrent lambda calculus with futures (Q860851) (← links)
- Continuation-based transformations for coordination languages (Q1575149) (← links)
- Linear future semantics and its implementation (Q1822488) (← links)
- Towards a \(\mathbb{K}\)ool future (Q2026805) (← links)
- Semantics of Concurrent Revisions (Q3000574) (← links)