Ende Jin

According to our database, Ende Jin authored at least 2 papers between 2023 and 2025.

Collaborative distances:

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

2025

Certified Compilers à la Carte.

Oghenevwogaga Ebresafe, Ian Zhao, Ende Jin, Arthur Bright, Charles Jian, Yizhou Zhang

Proc. ACM Program. Lang., 2025

2023

Extensible Metatheory Mechanization via Family Polymorphism.

Ende Jin, Nada Amin, Yizhou Zhang

Proc. ACM Program. Lang., 2023