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

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

Using general profile