Registered user since Fri 30 Apr 2021
Name:Wenjia Ye
Affiliation:The University of Hong Kong
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