Semantics for Parameter Passing in a Type-complete Persistent RPS.

Miguel Mira da Silva, Malcolm P. Atkinson, Andrew P. Black

Browse the full ICDCS paper archive.