The following pages link to Programming Languages and Systems (Q5464036):
Displaying 6 items.
- (Q3975160) (← links)
- Unifying Semantics for Concurrent Programming (Q4922078) (← links)
- UTCP: Compositional Semantics for Shared-Variable Concurrency (Q5045469) (← links)
- (Q5169582) (← links)
- Imperative streams—a monadic combinator library for synchronous programming (Q5234274) (← links)
- Composable scheduler activations for Haskell (Q5371964) (← links)