Report | Author(s) | Title |
---|---|---|
TR-2021-01 |
Xuejing Huang, Jinxu Zhao, Bruno C. d. S. Oliveira |
Taming the Merge Operator: a Type-directed Operational Semantics Approach (PDF) |
Report | Author(s) | Title |
---|---|---|
TR-2021-01 |
Xuejing Huang, Jinxu Zhao, Bruno C. d. S. Oliveira |
Taming the Merge Operator: a Type-directed Operational Semantics Approach (PDF) |