Pages that link to "Item:Q860851"
From MaRDI portal
The following pages link to A concurrent lambda calculus with futures (Q860851):
Displaying 10 items.
- ASP\(_{\text{fun}}\) : a typed functional active object calculus (Q433340) (← links)
- Behavioral interface description of an object-oriented language with futures and promises (Q843206) (← links)
- Backwards type analysis of asynchronous method calls (Q953530) (← links)
- On generic context lemmas for higher-order calculi with sharing (Q960863) (← links)
- Asynchronous sequential processes (Q1013090) (← links)
- Observational program calculi and the correctness of translations (Q2339472) (← links)
- Classical Call-by-Need and Duality (Q3007655) (← links)
- Concurrent Objects à la Carte (Q5187829) (← links)
- Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures (Q5262945) (← links)
- A Mechanized Model of the Theory of Objects (Q5428912) (← links)
