ICFP 2021
Sun 22 - Sat 28 August 2021

Registered user since Sun 24 Jan 2021

Name:Tesla Zhang

Independent researcher studying category theory and univalent type theories. Undergraduate student.

Affiliation:The Pennsylvania State University
Research interests:Programming Languages, Type Theory, HoTT


TyDe 2021 A Simpler Encoding of Indexed Types
Show activities from other conferences

ICFP 2021-profile
View general profile