
Registered user since Wed 27 Nov 2019
Name:Chuangjie Xu
Country:Germany
Affiliation:fortiss GmbH
Personal website:https://cj-xu.github.io/
GitHub:https://github.com/cj-xu
Research interests:Mathematical logic
Contributions
FTfJP 2021 | A Generic Type System for Featherweight Java | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ECOOP and ISSTA 2021-profile
View general profile
View general profile