Ende Jin

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Search Algorithm

Markup Language

Application Specific

Object Oriented

Top Venues

Proc. ACM Program. Lang.

Publications

Ende Jin, Nada Amin, Yizhou Zhang
Extensible Metatheory Mechanization via Family Polymorphism. Proc. ACM Program. Lang. 7 (PLDI) (2023)