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
TyDe 2021 | A Simpler Encoding of Indexed Types | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2021-profile
View general profile
View general profile