Registered user since Sun 24 Jan 2021
Name:Tesla Zhang
Bio:
Independent researcher studying category theory and univalent type theories. Undergraduate student.
Affiliation:The Pennsylvania State University
Personal website:https://personal.psu.edu/yqz5714
GitHub:https://github.com/ice1000
Research interests:Programming Languages, Type Theory, HoTT
Contributions
WITS 2022 | Multi case trees: confluence and coverage (discussion) First-class pattern synonyms | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2022-profile
View general profile
View general profile