Pages that link to "Item:Q5178853"
From MaRDI portal
The following pages link to Type systems for distributed data structures (Q5178853):
Displaying 6 items.
- Type systems for distributed programs: components and sessions (Q518894) (← links)
- More dependent types for distributed arrays (Q1929345) (← links)
- A type language for distributed reactive components governed by communication protocols (Q2693296) (← links)
- (Q3105092) (← links)
- (Q4967196) (← links)
- A Proof System for a PGAS Language (Q5187828) (← links)