114
click to vote
FSTTCS
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. We describe a denotational (game) semantics for a call-byvalue functional language with multiple threads of control, which may communicate values of general type on local...