Yee-Jian Tan

According to our database, Yee-Jian Tan authored at least 2 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2025

Towards Computational UIP in Cubical Agda.

Yee-Jian Tan, Andreas Nuyts, Dominique Devriese

CoRR, November, 2025

2021

A stepper for a functional JavaScript sublanguage.

Martin Henz, Thomas Tan, Zachary Chua, Peter Jung, Yee-Jian Tan, Xinyi Zhang, Jingjing Zhao

Proceedings of the 2021 ACM SIGPLAN International Symposium on SPLASH-E, 2021