CS Technical Reports

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)