
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 2021 | Type-Directed Operational Semantics for Gradual Typing Type-Directed Operational Semantics for Gradual Typing | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ECOOP and ISSTA 2021-profile
View general profile
View general profile