SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
SPLASH 2020 (series) / Xuejing Huang
Xuejing Huang

Registered user since Sat 2 Mar 2019

Name:Xuejing Huang
Affiliation:The University of Hong Kong
Twitter:https://twitter.com/hxjxsnow
GitHub:https://github.com/xsnow

Contributions

SPLASH 2020 A Type-Directed Operational Semantics for a Calculus with a Merge Operator
ECOOP 2020 A Type-Directed Operational Semantics for a Calculus with a Merge Operator
A Type-Directed Operational Semantics for a Calculus with a Merge Operator
A Type-Directed Operational Semantics for a Calculus with a Merge Operator
Show activities from other conferences

SPLASH 2020-profile
View general profile