The following pages link to Programming Languages and Systems (Q5902366):
Displaying 5 items.
- A denotational semantics for shared-memory parallelism and nondeterminism (Q792754) (← links)
- Parallel and Distributed Haskells (Q3149009) (← links)
- Parametricity for Haskell with Imprecise Error Semantics (Q3637203) (← links)
- Continuation-based compilation of functional languages for parallel machines (Q4279253) (← links)
- Non-speculative and upward invocation of continuations in a parallel language (Q5096761) (← links)