Registered user since Tue 24 Mar 2020

Name:Ende Jin
Affiliation:University of Waterloo

Contributions

PLDI 2023 Extensible Metatheory Mechanization via Family Polymorphism
Show activities from other conferences

PLDI 2023-profile
View general profile