ICFP 2021
Sun 22 - Sat 28 August 2021

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
Research interests:Programming Languages, Type Theory, HoTT

Contributions

Show activities from other conferences

ICFP 2021-profile
View general profile