Ende Jin

According to our database, Ende Jin authored at least 1 paper in 2023.

Collaborative distances:

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

2023

Extensible Metatheory Mechanization via Family Polymorphism.

Ende Jin, Nada Amin, Yizhou Zhang

Proc. ACM Program. Lang., 2023