Cheng Zhang - ICFP 2023

Mon 4 - Sat 9 September 2023 Seattle, Washington, United States

Registered user since Thu 8 Jul 2021

Name:Cheng Zhang

Country:United States

Affiliation:Boston University

Personal website: https://cs-people.bu.edu/czhang03/

Research interests:Algebra, Program Verification

Contributions

2023

TyDe

A Dependently Typed Language with Dynamic Equality

Show activities from other conferences

ICFP 2023-profile
View general profile