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 2020Author of A Type-Directed Operational Semantics for a Calculus with a Merge Operator within the Research Papers-track
Author of A Type-Directed Operational Semantics for a Calculus with a Merge Operator within the Posters-track
Author of A Type-Directed Operational Semantics for a Calculus with a Merge Operator within the Artifacts-track
SPLASH 2020Author of A Type-Directed Operational Semantics for a Calculus with a Merge Operator within the Posters-track
Show activities from other conferences

SPLASH 2020-profile
View general profile