A Type-Directed Operational Semantics For a Calculus with a Merge Operator.

Xuejing Huang, Bruno C. d. S. Oliveira

Browse the full ECOOP paper archive.