Pages that link to "Item:Q5308092"
From MaRDI portal
The following pages link to Acute: High-level programming language design for distributed computation (Q5308092):
Displaying 7 items.
- Characterizing contextual equivalence in calculi with passivation (Q651309) (← links)
- Extending the lambda-calculus with unbind and rebind (Q3006163) (← links)
- Howe’s Method for Calculi with Passivation (Q3184692) (← links)
- Dynamic rebinding for marshalling and update, via redex-time and destruct-time reduction (Q3520166) (← links)
- Non-parametric parametricity (Q4918243) (← links)
- F-ing modules (Q4983210) (← links)
- Ott: Effective tool support for the working semanticist (Q5189646) (← links)