Chuangjie Xu - SPIN 2021

Write a Blog >>

Mon 12 Jul 2021 Online

co-located with ECOOP and ISSTA 2021

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

2021

FTfJP

A Generic Type System for Featherweight Java

Show activities from other conferences

ECOOP and ISSTA 2021-profile
View general profile