Pages that link to "Item:Q4358460"
From MaRDI portal
The following pages link to Type and behaviour reconstruction for higher-order concurrent programs (Q4358460):
Displayed 6 items.
- Region-based memory management (Q676777) (← links)
- Types and trace effects for object orientation (Q1029806) (← links)
- Type-Based Analysis for Session Inference (Extended Abstract) (Q2827469) (← links)
- Constraints for polymorphic behaviours of concurrent ML (Q5096301) (← links)
- Static and dynamic processor allocation for higher-order concurrent languages (Q5096756) (← links)
- Automated temporal verification for algebraic effects (Q6176569) (← links)