Jun Tan -

Registered user since Tue 23 Jun 2026

Name:Jun Tan

Country:China

Affiliation:Independent

GitHub: https://github.com/kamome1037

Research interests:Program Language

Contributions

2026

SPLASH

Author of When Do Staging Annotations Preserve Semantics? Mechanizing Typed Semantics-Preserving Multi-stage Programming with Let-Insertion within the OOPSLA-track

ICFP

Author of Let It Be Optimized: Building Multi-Stage Evaluators with Let-Insertion and Optimizations in Small Pieces (Functional Pearl) within the ICFP Artifacts-track
Author of Let It Be Optimized: Building Multi-Stage Evaluators with Let-Insertion and Optimizations in Small Pieces (Functional Pearl) within the ICFP Papers-track