Senxi Li -

Not registered as user

Name:Senxi Li

Affiliation:The University of Tokyo

Contributions

2026

‹Programming›

Author of Efficient Selection of Type Annotations for Performance Improvement in Gradual Typing within the Research Papers-track

2024

ECOOP

Author of InferType: A Compiler Toolkit for Implementing Efficient Constraint-Based Type Inference within the Technical Papers-track