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

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
SPLASH 2020 A Type-Directed Operational Semantics for a Calculus with a Merge Operator
Show activities from other conferences

SPLASH 2020-profile
View general profile