Details
Title
Xu, Yichen
Sciper ID
358686
Affiliated labs
LAMP
Publications
A case for DOT: Theoretical Foundations for Objects with Pattern Matching and GADT-Style Reasoning
Degrees of Separation: A Flexible Type System for Safe Concurrency
Unsupervised Graph Representation Learning with Cluster-aware Self-training and Refining
Degrees of Separation: A Flexible Type System for Safe Concurrency
Unsupervised Graph Representation Learning with Cluster-aware Self-training and Refining
Link to search
All resources
Record appears in
Authorities > People